Model - PDFSEARCH.IO - Document Search Engine

Model
Results: 136453

#	Item
71	Toward a Taxonomy and Attacker Model for Secure Routing Protocols Matthias Hollick Cristina Nita-Rotaru Add to Reading List Source URL: www.netsec.ethz.ch Language: English Internet architecture Computing Information and communications technology Network architecture Routing IP routing Computer network Router Source routing Wireless ad hoc network Control plane Link-state routing protocol
72	Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Probability Dynamic programming Markov decision process Stochastic control PRISM model checker Reinforcement learning Probabilistic CTL Application software
73	SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber Summer School Marktoberdorf, August 9, 2005 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:34 Mathematical logic Computability theory Type theory Theoretical computer science Metalogic Model theory Lambda calculus Constructible universe Mathematics
74	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
75	Certificates for Parameterized Model Checking Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Konrad Zuse History of computing hardware Mechanical computers Computing Theoretical computer science Z1 Z2 Satisfiability modulo theories Z3 Symbol
76	Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-06-29 07:04:13 Linear temporal logic Temporal logic Symbol FO Differential topology operator
77	Introduction Finite Model Generation Extensions and Optimizations Case Studies Integration of Proof-Producing SAT Solvers Conclusion Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2008-10-09 08:41:17 Mathematical logic Logic Boolean algebra Mathematics Classical logic Propositional calculus Model theory
78	“Model” Bail Laws: Re-Drawing the Line Between Pretrial Release and Detention Timothy R. Schnacke Add to Reading List Source URL: www.clebp.org Language: English - Date: 2017-04-18 16:25:51 Criminal law Law Criminal procedure Bail Public law Excessive Bail Clause Pretrial services programs Bail in the United States
79	Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Computer programming C Data types Pointer Hooking Exec Nm Struct
80	Implementation And Evaluation Of The Knowledge Element Preparation Model MASTERTHESIS Zur Erlangung des akademischen Grades “Master of Science” im Studiengang Wirtschaftsinformatik Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:15:44 Business software Decision support system Knowledge engineering Systems engineering Evaluation Decision model Design science Kep Knowledge Engineering Science

UPDATE