Theses and Dissertations
Application of architectural patterns and lightweight formal method for the validation and verification of safety critical systems
An investigation into specifying service level agreements for provisioning cloud computing services
Rules of engagement policies automation for Ballistic Missile Defense System
Enhancement of the acquisition process for a combat system a case study to model the workflow processes for an Air Defense System Acquisition
Improved network security and disguising TCP/IP fingerprint through dynamic stack modification
A methodology for developing timing constraints for the Ballistic Missile Defense System
Conceptual framework approach for system-of-systems software developments
Refine By:
Advisor
-
Michael, James Bret (7)
-
Shing, Man-Tak (7)
Author
Branch Of Service
Date Issued
Degree
Department
-
Computer Science (7)