Search

Search Constraints

Start Over You searched for: Graduate Program Computer Science and Engineering Remove constraint Graduate Program: Computer Science and Engineering Committee Member John Joseph Hannan Remove constraint Committee Member: John Joseph Hannan

Search Results

1. A Logical Framework for Reasoning about Logical Specifications

open_access
Open Access

2. Comprehensive Spatial Query Containment Framework for Minimizing Redundancy

open_access
Open Access

3. Semantic-Aware Data Processing: Towards Cross-Modal Multimedia Analysis and Content-Based Retrieval in Distributed and Mobile Environments

open_access
Open Access

4. RETROFITTING PROGRAMS FOR COMPLETE SECURITY MEDIATION

open_access
Open Access

5. Reasoning About Higher-Order Functions and Parameters

open_access
Open Access

6. A LANGUAGE-BASED SOFTWARE FRAMEWORK FOR MISSION PLANNING IN AUTONOMOUS MOBILE ROBOTS

open_access
Open Access

7. THE PROBABILISTIC ASYNCHRONOUS PI-CALCULUS

open_access
Open Access

8. Secure Systems Development Using Security-Typed Languages

open_access
Open Access

9. Performance Aspects of Security-Aware Database Systems

open_access
Open Access

10. ARCHITECTURAL LEVEL POWER ESTIMATION AND EXPERIMENTATION

open_access
Open Access