Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
6925 open access dissertations and theses found for:
if(Verification)  »   Refine Search
32.
Types for the Chain of Trust: No (Loader) Write Left Behind
by Shapiro, Rebecca, Ph.D.  Dartmouth College. 2018: 221 pages; 10811531.
33.
Validating Petri Net Models of Cyberattacks
by Christensen, Nicholas M., M.S.  The University of Alabama in Huntsville. 2017: 102 pages; 10608103.
34.
Coupling sediment transport and water quality models
by Xiong, Yi, Ph.D.  Mississippi State University. 2010: 324 pages; 3432283.
36.
38.
Interface grammars for modular software verification
by Hughes, Graham, Ph.D.  University of California, Santa Barbara. 2009: 203 pages; 3350382.
39.
Satisfiability checking for quality assurance in relational data processing
by Heller, Kelly K., M.S.  California State University, Long Beach. 2013: 234 pages; 1524200.
40.
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.
41.
Perceptions of the roles, professional development, challenges, and frustrations of high school principals
by Knobl, Stephen J., Jr., Ph.D.  University of South Florida. 2010: 217 pages; 3432661.
43.
The Climatology of Rossby Wave Packets Using Object-based Tracking Techniques
by Souders, Matthew B., M.S.  State University of New York at Stony Brook. 2013: 122 pages; 1586114.
44.
Establishing Trust in U.S. Department of Defense Operator-in-the-Loop Federations-of-Models
by Herdlick, Bryan E., Ph.D.  The George Washington University. 2013: 102 pages; 3549132.
45.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
47.
Verification of grouting effectiveness using three-dimensional seismic tomography
by Lynch, Christopher Michael, M.S.  University of Colorado at Boulder. 2011: 154 pages; 1505457.
49.
Gatekeepers to healthcare quality and patient safety: Veritas Credentials
by Veerkamp, Celeste Goff, M.S.  California State University, Long Beach. 2016: 59 pages; 10158999.
51.
Epistemic dynamics and protocol information
by Hoshi, Tomohiro, Ph.D.  Stanford University. 2009: 257 pages; 3364501.
52.
Expansion of Perturbation Theory Applied to Shim Rotation Automation of the Advanced Test Reactor
by Peterson, Joshua Loren, Ph.D.  The University of Texas at Austin. 2011: 189 pages; 3484427.
53.
Assessing the Influence of Building Geometry on Active Shooter Event Outcomes
by Dane, Kristopher R., D.Engr.  The George Washington University. 2018: 115 pages; 10841977.
54.
Power and thermal modeling for the proto-VIPRAM chip
by Xia, Wenbo, M.S.  Southern Methodist University. 2014: 113 pages; 1569659.
55.
An Effective Methodology for Suppressing Structure-Borne Sound Radiation
by Chen, Lingguang, Ph.D.  Wayne State University. 2017: 122 pages; 10635977.
58.
Development and application of systems engineering principles for improving the manufacturing process of an electronics co.
by Paustell, Khristine Larae, M.S.  California State University, Long Beach. 2015: 63 pages; 1603746.
59.
A formal approach to specifying and verifying spacecraft behavior
by McInnes, Allan I. S., Ph.D.  Utah State University. 2007: 290 pages; 3279572.
60.
Time-Dependent Vehicle Routing and Assignment in No-Notice Evacuations
by Kuru, Ismail Cem, M.S.  Southern Illinois University at Edwardsville. 2013: 82 pages; 1545446.
31 - 60 of 6925 displayed.
« First < Previous |   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