Search

Search Constraints

Start Over You searched for: Degree PHD Remove constraint Degree: PHD 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. Semantic-Aware Data Processing: Towards Cross-Modal Multimedia Analysis and Content-Based Retrieval in Distributed and Mobile Environments

open_access
Open Access

3. RETROFITTING PROGRAMS FOR COMPLETE SECURITY MEDIATION

open_access
Open Access

4. Reasoning About Higher-Order Functions and Parameters

open_access
Open Access

5. THE PROBABILISTIC ASYNCHRONOUS PI-CALCULUS

open_access
Open Access

6. Secure Systems Development Using Security-Typed Languages

open_access
Open Access

7. Performance Aspects of Security-Aware Database Systems

open_access
Open Access

8. ARCHITECTURAL LEVEL POWER ESTIMATION AND EXPERIMENTATION

open_access
Open Access

9. Mobile Agent-Based Energy-Efficient and Secure Global Information Systems

open_access
Open Access

10. Concurrent Assemblies: A Model for Concurrent Program Execution

open_access
Open Access