Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
7010 open access dissertations and theses found for:
if(Verification)  »   Refine Search
1.
2.
Verifying Scope 3 Greenhouse Gases in the Federal Supply Chain
by Buzzelle, Stanley Adelbert, III, LL.M.  The George Washington University. 2012: 96 pages; 1531548.
3.
Verification of Business Process Specifications With Arithmetic and Data Dependencies
by Damaggio, Elio, Ph.D.  University of California, San Diego. 2011: 155 pages; 3475417.
4.
A device to validate concentration measured by direct reading instruments for aerosols
by Saleh, Sabah Khalid, M.S.  The University of Iowa. 2011: 46 pages; 1505907.
5.
Application of systems engineering in installation process for the service industry
by Tavazoei, Saeid, M.S.  California State University, Long Beach. 2014: 96 pages; 1526961.
6.
Formal security analysis: Secrecy, authentication and attestation
by Li, Li, Ph.D.  National University of Singapore (Singapore). 2015: 152 pages; 10006040.
7.
Application of systems engineering in design control process for medical devices
by Varshoei, Payam, M.S.  California State University, Long Beach. 2012: 115 pages; 1522266.
8.
A methodology for the integration of design teams for the development of complex systems
by Zummo, Kevin J., Ph.D.  Southern Methodist University. 2010: 141 pages; 3453864.
9.
An Agile Framework to Develop Safety Critical Software for Aircraft
by Bacon, Duane Lee, Ph.D.  State University of New York at Binghamton. 2018: 179 pages; 10981623.
10.
Category Specific Semantic Impairments
by Kline, Valerie, Ph.D.  University of Louisiana at Lafayette. 2015: 208 pages; 10003760.
11.
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.
12.
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.
13.
A Compositional Automation Engine for Verifying Complex System Software
by Wu, Xiongnan Newman, Ph.D.  Yale University. 2018: 211 pages; 13851930.
14.
On the Modular Verification and Design of Firewalls
by Bhattacharya, Hrishikesh, Ph.D.  The University of Texas at Austin. 2012: 118 pages; 3572873.
15.
An ontology-based knowledge management framework for heterogeneous verification
by Kumar, Rajesh, Ph.D.  Carnegie Mellon University. 2007: 174 pages; 3264769.
16.
Automatic verification of string manipulating programs
by Yu, Fang, Ph.D.  University of California, Santa Barbara. 2010: 239 pages; 3422651.
17.
Authenticating executions for trusted systems
by Aktas, Erdem, Ph.D.  State University of New York at Binghamton. 2013: 215 pages; 3596989.
18.
Development of an Artificial Neural Network to Predict In-Use Engine Emissions
by Morris, Melissa L., Ph.D.  West Virginia University. 2011: 190 pages; 3486738.
19.
Application of systems engineering principles for analysis of utility baseline development process
by Johnson, Benjamin D., M.S.  California State University, Long Beach. 2017: 85 pages; 10252428.
20.
Finite safety models for high -assurance systems
by Sloan, John C., Ph.D.  Florida Atlantic University. 2010: 266 pages; 3420062.
21.
Analysis and verification of fatigue reliability variation under two-stage loading conditions
by Sathiamoorthy, Bharadwaj, M.S.  Northeastern University. 2010: 26 pages; 1510683.
22.
Superior privacy protection using combinations of fingerprints for identification of individuals
by Patel, Parixit J., M.S.  California State University, Long Beach. 2016: 56 pages; 10195827.
23.
Wind farm wake prediction using CFD
by Wolton, Peter R., M.S.  University of Colorado at Boulder. 2008: 150 pages; 1456694.
24.
Design and Verification of a DFI-AXI DDR4 Memory PHY Bridge Suitable for FPGA Based RTL Emulation and Prototyping
by Mayekar, Pallavi Avinash, M.S.  Rochester Institute of Technology. 2019: 122 pages; 22615759.
25.
Systems engineering the mission critical software release decision
by Woods, Tim, Ph.D.  Southern Methodist University. 2010: 231 pages; 3432999.
28.
System of systems engineering: Prescribing the technical development effort to engineer a constituent system
by Gomez, Darryl Anthony, Ph.D.  The George Washington University. 2010: 313 pages; 3433358.
30.
The effect of job performance aids on quality assurance
by Fosshage, Erik, M.S.I.E.  Purdue University. 2014: 131 pages; 1564868.
1 - 30 of 7010 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