Publications

Export 303 results:
1997
Musliner D, Boddy M, Goldman R, Krebsbach K.  1997.  The Link Between Distributed Planning and Abstraction.
Vestal S.  1997.  MetaH Support for Real-Time Multi-Processor Avionics. 5th IEEE Workshop on Parallel and Distributed Real-Time Systems.
Vestal S, Guerby L, Dewar R, Lewis B, McConnell D.  1997.  Reimplementing a Multiprocess Distributed Paradigm for Real-Time Systems in Ada95. 8th International Real-Time Ada Workshop.
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.

Pages