Publications

Export 300 results:
1997
Nelson K, Penner R, Musliner D, Krebsbach K.  1997.  Search and Rescue Assistant.
1996
Haigh J.T.  1996.  Auditing on Sidewinder.
Haigh J.T.  1996.  Best of the New Security Paradigms Workshop (Panel Chair).
Binns P, Englehart M, Jackson M, Vestal S.  1996.  Domain-Specific Software Architectures for Guidance, Navigation and Control. International Journal of Software Engineering and Knowledge Engineering.
Lakshminarayan K., Harp S, Goldman R., Samad T..  1996.  Imputation of Missing Data Using Machine Learning Techniques. :140-145.
Moore A., Payne C.  1996.  Increasing Assurance with Literate Programming Techniques. :187-198.
Haigh J.T.  1996.  Proceedings of the 1996 Workshop on New Security Paradigms.
Boddy M.  1996.  Temporal Reasoning for Planning and Scheduling: Lessons Learned.
1995
Binns P, Vestal S.  1995.  Architecture Specifications for Complex Real-Time Dependable Systems. IEEE International Conference on Engineering of Complex Computer Systems.
Moore A., Chapman E., Kim D., Klinker E., Mihelcic D., Voreh M., Payne C, Hayman K..  1995.  External COMSEC Adaptor Software Engineering Methodology.
Harp S, Samad T..  1995.  Genetic Algorithms and Neural Networks for Optimized Modeling and Control.
Froscher J.N, Goldschlag D.M, Kang M.H, Landwehr C.E, Moore A.P, Moskowitz I.S, Payne C.  1995.  Improving Inter-Enclave Information Flow for a Secure Strike Planning Application. :89-98.
Boddy M, Goldman R, Short N, White J.  1995.  Integrated Planning and Scheduling for the EOS Core System (ECS).
Thomsen D., O’Brien R, Haigh J.T.  1995.  LOCK DBMS: Integrating Type Enforcement.
Konar AF, Samad T, Harp S.  1995.  Neruo-pid Controller.
1994
Vestal S.  1994.  Assuring the Correctness of Automatically Generated Software. 13th Digital Avionics Systems Conference.
Goldman R, Boddy M.  1994.  Conditional Linear Planning.
Boddy M, Dean T.  1994.  Decision-Theoretic Deliberation Scheduling for Problem Solving in Time-Constrained Environments. Artificial Intelligence. 67
Goldman R, Boddy M.  1994.  Epsilon-Safe Planning.
Payne C, Moore AP, Mihelcic DM.  1994.  An Experience Modeling Critical Requirements.
Vestal S.  1994.  Fixed Priority Sensitivity Analysis for Linear Compute Time Models. IEEE Transactions on Software Engineering. 20:308-317.
Vestal S.  1994.  Formal Methods for Complex Evolving Systems. Formal Methods Workshop.
Vestal S.  1994.  Integrating Control and Software Views in a CACE/CASE Toolset. Symposium on Computer-Aided Control System Design. :353-358.
Vestal S.  1994.  Mode Changes in a Real-Time Architecture Description Language. International Workshop on Configurable Distributed Systems.
Harp S, Samad T, Villano M.  1994.  Modeling Student Knowledge with Self-Organizing Feature Maps.

Pages