Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
43008 open access dissertations and theses found for:
if(Model checking)  »   Refine Search
1.
Enforcing role-based access control on a social network
by Anderson, James Carold, M.S.  East Carolina University. 2012: 240 pages; 1518475.
2.
Interface grammars for modular software verification
by Hughes, Graham, Ph.D.  University of California, Santa Barbara. 2009: 203 pages; 3350382.
3.
A web semantic for SBML merge
by Thavappiragasam, Mathialakan, M.S.  University of South Dakota. 2014: 86 pages; 1566784.
4.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
5.
Finite safety models for high -assurance systems
by Sloan, John C., Ph.D.  Florida Atlantic University. 2010: 266 pages; 3420062.
6.
Comparison of encoding schemes for symbolic model checking of bounded petri nets
by Arora, Nishtha, M.S.  Iowa State University. 2010: 83 pages; 1479680.
7.
Formally ensuring the permissibility of obligations in security and privacy policies
by Chowdhury, Omar Haider, Ph.D.  The University of Texas at San Antonio. 2013: 306 pages; 3594559.
10.
Modeling and verification techniques for ad hoc network protocols
by Singh, Anu, Ph.D.  State University of New York at Stony Brook. 2009: 130 pages; 3401731.
11.
Resilient TDMA-based Communication Algorithm for Dynamic Ad-hoc Networks and Formal Verification
by Tyagi, Neha, M.S.  California State University, Long Beach. 2018: 65 pages; 10752255.
12.
Real-Time Synchronized Automata for Cooperative Mobile Robots in Dynamic Networks
by Barjasteh, Sina, M.S.  California State University, Long Beach. 2018: 35 pages; 10978741.
13.
On the test-driven development of emerging modularization mechanisms
by Setty, Rakesh B., M.S.  Iowa State University. 2008: 82 pages; 1461967.
14.
A language for specifying compiler optimizations for generic software
by Willcock, Jeremiah J., Ph.D.  Indiana University. 2007: 134 pages; 3297114.
15.
Efficient, sound formal verification for analog/mixed-signal circuits
by Fisher, Andrew N., Ph.D.  The University of Utah. 2015: 190 pages; 10003590.
16.
First order decision diagrams for decision theoretic planning
by Joshi, Saket, Ph.D.  Tufts University. 2010: 190 pages; 3427479.
17.
Reasoning software process modeling and simulation: A stakeholder-oriented approach
by Bai, Xu, Ph.D.  Southern Methodist University. 2012: 235 pages; 3548130.
18.
Typed Clojure in Theory and Practice
by Bonnaire-Sergeant, Ambrose, Ph.D.  Indiana University. 2019: 182 pages; 13879596.
19.
A deontic analysis of inter -organizational control requirements
by Nguyen, Vu, Ph.D.  Florida International University. 2008: 433 pages; 3348919.
21.
Making sense of financial education
by Klein, Valerie, Ph.D.  University of Pennsylvania. 2007: 240 pages; 3271849.
23.
Formal security analysis: Secrecy, authentication and attestation
by Li, Li, Ph.D.  National University of Singapore (Singapore). 2015: 152 pages; 10006040.
24.
Strong-DISM: A First Attempt to a Dynamically Typed Assembly Language (D-TAL)
by Hernandez, Ivory, M.S.C.S.  University of South Florida. 2017: 65 pages; 10640802.
25.
New tests and test methodologies for scan cell internal faults
by Yang, Fan, Ph.D.  The University of Iowa. 2009: 155 pages; 3390232.
26.
A theory of typed hygienic macros
by Herman, David, Ph.D.  Northeastern University. 2010: 168 pages; 3398847.
27.
A New Measure of Quality of Life and Its Application in the Regions of the Russian Federation
by Safonov, Taras Aleksandrovich, M.A.  Western Illinois University. 2015: 113 pages; 1597385.
28.
Formal analysis of web service composition
by Manman, Chen, Ph.D.  National University of Singapore (Singapore). 2015: 240 pages; 10005980.
29.
The Roles of Religion and Spirituality in Recovery from Mental Illness
by Uota, Kazumi, Ph.D.  University of California, Berkeley. 2012: 116 pages; 3526689.
30.
Modeling the co-development of strategic and conceptual knowledge in mathematical problem solving
by Campbell, Mariana Elaine, Ph.D.  University of California, Berkeley. 2011: 146 pages; 3498781.
1 - 30 of 43008 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest