Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
45196 open access dissertations and theses found for:
if(Model checking)  »   Refine Search
1.
Comparison of encoding schemes for symbolic model checking of bounded petri nets
by Arora, Nishtha, M.S.  Iowa State University. 2010: 83 pages; 1479680.
4.
A web semantic for SBML merge
by Thavappiragasam, Mathialakan, M.S.  University of South Dakota. 2014: 86 pages; 1566784.
5.
A method for automatically generating rules for a requires-provides security model of a system
by Orvis, William Snow, M.S.  University of California, Davis. 2009: 109 pages; 1470280.
6.
Enforcing role-based access control on a social network
by Anderson, James Carold, M.S.  East Carolina University. 2012: 240 pages; 1518475.
7.
Interface grammars for modular software verification
by Hughes, Graham, Ph.D.  University of California, Santa Barbara. 2009: 203 pages; 3350382.
8.
Multiagent Business Modeling
by Telang, Pankaj Ramesh, Ph.D.  North Carolina State University. 2013: 194 pages; 3575893.
10.
Adaptive Approximate State Storage
by Dillinger, Peter C., Ph.D.  Northeastern University. 2010: 289 pages; 3434729.
11.
Satisfiability checking for quality assurance in relational data processing
by Heller, Kelly K., M.S.  California State University, Long Beach. 2013: 234 pages; 1524200.
12.
Lightweight Programming Abstractions for Increased Safety and Performance
by Osvald, Leo, Ph.D.  Purdue University. 2018: 147 pages; 10808010.
13.
Development of Treatment Performance Models for Flexible Pavements
by Bhuyan, Mohammad Reza-Ul-Karim, M.S.  University of Louisiana at Lafayette. 2013: 77 pages; 1553888.
14.
Light-weight bounds checking
by Misra, Ashish, M.S.  State University of New York at Stony Brook. 2010: 39 pages; 1479996.
15.
18.
19.
20.
Three-dimensional computational modeling of curved channel flow
by Sin, Kyung-Seop, Ph.D.  Colorado State University. 2014: 124 pages; 3672074.
21.
Model uncertainty and model averaging in the estimation of benchmark dose
by Kim, Steven B., M.S.  California State University, Long Beach. 2010: 93 pages; 1486380.
22.
Finite safety models for high -assurance systems
by Sloan, John C., Ph.D.  Florida Atlantic University. 2010: 266 pages; 3420062.
23.
How patrol officers make decisions: Comparing a structural model to a process model
by Bonner, Heidi S., Ph.D.  State University of New York at Albany. 2012: 352 pages; 3548920.
24.
Model- and full-scale predictions of hydrokinetic turbulent wake, including model-scale validation
by Salunkhe, Sanchit, M.S.  Mississippi State University. 2016: 141 pages; 10243211.
25.
Student Sequence Model: A Temporal Model For Exploring and Predicting Risk From Heterogeneous Student Data
by Mahzoon, Mohammad Javad, Ph.D.  The University of North Carolina at Charlotte. 2018: 122 pages; 10791643.
26.
Modular and Safe Event-driven Programming
by Desai, Ankush Pankaj, Ph.D.  University of California, Berkeley. 2019: 206 pages; 27672106.
1 - 30 of 45196 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest