Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
47474 open access dissertations and theses found for:
if(Route origin verification system)  »   Refine Search
1.
ROVER: A DNS-based method to detect and prevent IP hijacks
by Gersch, Joseph E., Ph.D.  Colorado State University. 2013: 179 pages; 3608195.
3.
Verification of post-glacial Speleogenesis and the origins of Epigene Maze Caves in New York
by Cooper, Max, M.S.  Mississippi State University. 2014: 198 pages; 1554909.
4.
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.
5.
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.
6.
Investigating bus route walkability: Comparative case study in Orange County, California
by Chen, Stephanie, M.S.  University of Southern California. 2012: 101 pages; 1532811.
7.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
8.
9.
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.
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.
13.
Impacts of system of system management strategies on system of system capability engineering effort
by Lane, Jo Ann, Ph.D.  University of Southern California. 2009: 93 pages; 3355407.
15.
Origin of rigidity in marginal solids
by Bi, Dapeng, Ph.D.  Brandeis University. 2012: 134 pages; 3527892.
16.
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.
17.
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.
19.
Mining explosion identification as an application to treaty verification
by Arrowsmith, Marie, Ph.D.  Southern Methodist University. 2009: 519 pages; 3356199.
20.
Operationalizing System Importance Measures for Assessing System of System Resilience
by Chandrahasa, Rakshit, M.S.A.A.  Purdue University. 2017: 110 pages; 10615733.
21.
Pilgrimage and travel on Route 66: An ethnographic study of travelers and shrines
by Charest, Olivia Moira, M.A.  Northern Arizona University. 2015: 92 pages; 10004154.
23.
Formal Modeling and Verification of Delay-Insensitive Circuits
by Park, Hoon, Ph.D.  Portland State University. 2015: 187 pages; 3743768.
24.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
25.
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.
26.
Interface grammars for modular software verification
by Hughes, Graham, Ph.D.  University of California, Santa Barbara. 2009: 203 pages; 3350382.
27.
Verification of Business Process Specifications With Arithmetic and Data Dependencies
by Damaggio, Elio, Ph.D.  University of California, San Diego. 2011: 155 pages; 3475417.
28.
Deductive Verification of Infinite-State Stochastic Systems using Martingales
by Chakarov, Aleksandar Nevenov, Ph.D.  University of Colorado at Boulder. 2016: 157 pages; 10151160.
30.
Verification of grouting effectiveness using three-dimensional seismic tomography
by Lynch, Christopher Michael, M.S.  University of Colorado at Boulder. 2011: 154 pages; 1505457.
1 - 30 of 47474 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