Search results for Verification   
Refine your search
Release Date
2005-05-01 (3)
2004-12-01 (2)
2008-07-01 (2)
2004-05-01 (1)
2006-01-09 (1)
Show more...

Author
Dawson, Daniel (1)
Elliott, Abby Lee (1)
Erhart, Kevin (1)
Ferreras, Ana (1)
Furqan, Zeeshan (1)
Show more...

results 1-20 of 22 item(s)  page 1 of 2 : ( <<  1  2  >> ) :: previous : next
select all : clear all : add to favorites

 Image: Title: Subject: Description:
1. EXTENDING DISTRIBUTED TEMPORAL PROTOCOL LOGIC TO A PROOF BASED FRAMEWORK FOR AUTHENTICATION PROTOCOLS EXTENDING DISTRIBUTED TEMPORAL PROTOCOL LOGIC TO A PROOF BASED FRAMEWORK FOR AUTHENTICATION PROTOCOLS
2. DEVELOPING STRAND SPACE BASED MODELS AND PROVING THE CORRECTNESS OF THE IEEE 802.11I AUTHENTICATION PROTOCOL DEVELOPING STRAND SPACE BASED MODELS AND PROVING THE CORRECTNESS OF THE IEEE 802.11I AUTHENTICATION PROTOCOL WITH RESTRICTED SEC
3. CONNECTING SELF ENHANCEMENT AND SELF VERIFICATION MESSAGES IN FRIENDSHIPS CONNECTING SELF ENHANCEMENT AND SELF VERIFICATION MESSAGES IN FRIENDSHIPS
4. PHENOMENOLOGY AND EXPERIMENTAL OBSERVATIONS IN HIGH TEMPERATURE TERNARY INTERDIFFUSION PHENOMENOLOGY AND EXPERIMENTAL OBSERVATIONS IN HIGH TEMPERATURE TERNARY INTERDIFFUSION
5. VERIFICATION OF PILOT-SCALE IRON RELEASE MODELS VERIFICATION OF PILOT-SCALE IRON RELEASE MODELS
6. GEOPHYSICAL SURVEY OF GREENWOOD CEMETERY, ORLANDO, FLORIDA GEOPHYSICAL SURVEY OF GREENWOOD CEMETERY, ORLANDO, FLORIDA
7. MODELING OF MEMBRANE SOLUTE MASS TRANSFER IN RO/NF MEMBRANE SYSTEMS MODELING OF MEMBRANE SOLUTE MASS TRANSFER IN RO/NF MEMBRANE SYSTEMS
8. PREDICTING AIR QUALITY NEAR ROADWAY INTERSECTIONS THROUGH THE APPLICAT PREDICTING AIR QUALITY NEAR ROADWAY INTERSECTIONS THROUGH THE APPLICAT
9. VERIFICATION OF FAA'S EMISSIONS AND DISPERSION MODELING SYSTEM (EDMS) VERIFICATION OF FAA'S EMISSIONS AND DISPERSION MODELING SYSTEM (EDMS)
10. THE LEGACY OF ANDRE SMITH THE LEGACY OF ANDRE SMITH
11. THE CALIBRATION AND VERIFICATION OF SIMULATION MODELS FOR TOLL PLAZAS THE CALIBRATION AND VERIFICATION OF SIMULATION MODELS FOR TOLL PLAZAS
12. HOT CARRIER EFFECT ON LDMOS TRANSISTORS HOT CARRIER EFFECT ON LDMOS TRANSISTORS
13. FORMALIZATION OF INPUT AND OUTPUT IN MODERN OPERATING SYSTEMS: THE HADLEY MODEL FORMALIZATION OF INPUT AND OUTPUT IN MODERN OPERATING SYSTEMS: THE HADLEY MODEL
14. EFFICIENT LARGE SCALE TRANSIENT HEAT CONDUCTION ANALYSIS USING A PARALLELIZED BOUNDARY ELEMENT METHOD EFFICIENT LARGE SCALE TRANSIENT HEAT CONDUCTION ANALYSIS USING A PARALLELIZED BOUNDARY ELEMENT METHOD
15. DISCRETE NONLINEAR WAVE PROPAGATION IN KERR NONLINEAR MEDIA DISCRETE NONLINEAR WAVE PROPAGATION IN KERR NONLINEAR MEDIA
16. DEVELOPING EMERGENCY PREPAREDNESS PLANS FOR ORLANDO INTERNATIONAL AIRPORT (MCO) USING MICROSCOPIC SIMULATOR DEVELOPING EMERGENCY PREPAREDNESS PLANS FOR ORLANDO INTERNATIONAL AIRPORT (MCO) USING MICROSCOPIC SIMULATOR WATSIM
17. DESIGN AND SYNTHESIS OF CLOCKLESS PIPELINES BASED ON SELF-RESETTING STAGE LOGIC DESIGN AND SYNTHESIS OF CLOCKLESS PIPELINES BASED ON SELF-RESETTING STAGE LOGIC
18. ANALYSIS AND SIMULATION TOOLS FOR SOLAR ARRAY POWER SYSTEMS ANALYSIS AND SIMULATION TOOLS FOR SOLAR ARRAY POWER SYSTEMS
19. A NEW PARADIGM OF MODELING WATERSHED WATER QUALITY A NEW PARADIGM OF MODELING WATERSHED WATER QUALITY
20. A MULTI-VIEW FRAMEWORK FOR DEFINING THE SERVICES SUPPLY CHAIN USING OBJECT ORIENTED METHODOLOGY A MULTI-VIEW FRAMEWORK FOR DEFINING THE SERVICES SUPPLY CHAIN USING OBJECT ORIENTED METHODOLOGY
select all : clear all : add to favorites

results 1-20 of 22 item(s)  page 1 of 2 : ( <<  1  2  >> ) :: previous : next
powered by CONTENTdm ® | contact us  ^ to top ^