Theses and Dissertations
Application of Real Options theory to software engineering for strategic decision making in software related capital investments
Forensic analysis of Window's® virtual memory incorporating the system's page-file
Security modeling and correctness proof using Specware and Isabelle
An application of Alloy to static analysis for secure information flow and verification of software systems
Data acquisition from volatile memory a memory acquisition tool for Microsoft Windows Vista
Detection of IED emplacement in urban environments
Vision-based interest point extraction evaluation in multiple environments
Smart caching for efficient information sharing in distributed information systems
An engineering context for software engineering
An approach for developing and validating libraries of temporal formal specifications
Refine By:
Advisor
Author
Branch Of Service
Date Issued
-
2008 (28)
Degree
Department
-
Computer Science (28)