1996 Faculty Research Catalog

[1]  Dennis M. Volpano.  Lower Bounds on Type Checking Overloading , 1996, Inf. Process. Lett..

[2]  Dennis Volpano,et al.  A Practical Tool for Developing Trusted Applications , 1995 .

[3]  Geoffrey Smith,et al.  A Type Soundness Proof for Variables in LCF ML , 1995, Inf. Process. Lett..

[4]  John Locke,et al.  NPSNET: Four user interface paradigms for entity control in a virtual world , 1995 .

[5]  Dennis M. Volpano,et al.  Type Checking Coherent Overloading , 1995, Softw. Concepts Tools.

[6]  Hyeongseok Ko,et al.  Insertion of an articulated human into a networked virtual environment , 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.

[7]  David R. Pratt,et al.  NPSNET: JANUS-3D providing three-dimensional displays for a two-dimensional combat model , 1993, 1993 4th Annual Conference on AI, Simulation and Planning in High Autonomy Systems.

[8]  Luqi,et al.  Real-time scheduling for software prototyping , 1993, [1993] Proceedings The Fourth International Workshop on Rapid System Prototyping.

[9]  Gary B. Parker,et al.  Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies , 1993, ICGA.

[10]  Michael Zyda,et al.  The Software Required for the Computer Generation of Virtual Environments , 1993, Presence: Teleoperators & Virtual Environments.

[11]  Michael Zyda,et al.  NPSNET and the Naval Postgraduate School Graphics and Video Laboratory , 1993, Presence: Teleoperators & Virtual Environments.

[12]  Man-Tak Shing,et al.  Prototyping hard real-time Ada systems in a classroom environment , 1992 .