Computer Science (NPS-CS)
Blockchain Mergence and Reconditioning Blockchain to Enable Global Supply Chain Assurance
(Monterey, California. Naval Postgraduate School, 2020-11); NPS-CS-21-001
Distributed ledger technology such as blockchain could ideally be used to solve challenges in global supply chain assurance. In blockchain, consensus is achieved among active concurrent participants. The chain is, by design, ...
Identifying Anomalous Network Flow Activity Using Cloud-Based Honeypots
(Monterey, California. Naval Postgraduate School, 2020-10); NPS-CS-20-003
This work addressed efficient and effective implementation of honeypots (decoy devices) in cloud services. Honeypots are essential tools for detecting new attacks on computers and networks, and cloud services are distributed ...
Machine Learning for Analysis of Naval Aviator Training
(Monterey, California. Naval Postgraduate School, 2020-10); NPS-CS-20-002
This project investigated patterns in the training data of Navy aviators in an attempt to predict their success in training. With the help of the sponsor, we assembled a database from many sources of training data. This ...
Assessment of DMSO Conceptual Models of the Mission Space (Progress Report 1/01/2000 - 12/31/2000)
(Naval Postgraduate School, 2001-01); NPS-SW-01-001
Decision Support for Formal Method Selection
(Naval Postgraduate School, 2002-07); NPS-SW-02-007
Execution of a High Level Real-Time Language
(Naval Postgraduate School, 1988); NPS 52-88-035
Prototype System Description Language (PSDL) is a high level real-time language with special features for hard real-time system specification and design. It can be used to firm up requirements through execution of its ...
Handling Timing Constraints in Rapid Prototyping
(Naval Postgraduate School, 1988); NPS 52-88-036
This paper presents the concepts and mechanisms for handling the real-time constraints of embedded systems in rapid prototyping. Rapid prototyping of embedded systems can be accomplished using a Computer Aided Prototyping ...
Semantics of a Real-Time Language
(Naval Postgraduate School, 1988); NPS 52-88-033
This paper describes the semantic! of the real-time language PSDL, which was designed for prototyping real-time systems. We focus on the aspects of the language relating to hard real-time constraints, scheduling, and ...
A Conceptual Level Design for a Static Scheduler for Hard Real-Time Systems
(Naval Postgraduate School, 1988); NPS 52-88-032
This report builds upon work previously done in the development of the Computer Aided Prototyping System (CAPS) and the Prototype System Description Language (PSDL) and presents a conceptual design for the pioneer prototype ...
Automated Prototyping Data and Knowledge Translation
(Naval Postgraduate School, 1988); NPS 52-88-034
This paper describes the transfonnations used to produce an executable prototype from a very high level description of a software system in a computer-aided prototyping process. The high level description can include ...