Abadi95

Abadi, M., Lamport, L., Conjoining Specifications , ACM Transactions on Programming Languages and Systems, Vol. 17, No. 3, May 1995.

Ack82

Ackerman, W. B., Data Flow Languages , IEEE Computer, Vol. 15, No. 2, February 1982.

Agre87

Agre, P. E., Chapman, D., Pengi: An Implementation of a Theory of Activity , American Association for Artifical Intelligence Conference, 1987.

Albus97

Albus, J. S., The NIST Real-time Control System (RCS): an approach to intelligent systems research , Journal of Experimental and Theoretical Artificial Intelligence, Vol. 9, 1997.

Alhir98

Alhir, S. S., UML in a Nutshell , O'Reilly & Associates Inc., ISBN 1-56592-448-7, 1998.

Allen92

Allen, P. D., Combining Deterministic and Stochastic Elements in Variable Resolution Models , Conference on Variable-Resolution Modeling, Washington, DC, May 1992.

Allen96

Allen, P. M., Valle, A. N., An approach to managing dissimilar unit interactions in constructive/virtual simulation linkage , 14th DIS Workshop on Standards for the Interoperability of Distributed Simulations, Orlando, Florida, September 1996.

Allen98

Allen, R. J., Garlan, D., Ivers, J., Formal Modeling and Analysis of the HLA Component Integration Standard , ACM SIGSOFT, Florida, November 1998.

AMG95

Architecture Management Group, Preliminary Definition , High Level Architecture Briefings, Defense Modeling and Simulation Office (DMSO), Alexandria, Virginia, March 1995.

Amo94

Amoroso, E. D., Fundamentals of Computer Security Technology , Prentice Hall PTR, ISBN 0-13-108929-3, 1994.

Arch86

Archibald, J., Baer, J. L., Cache Coherence Protocols: Evaluation Using a Multiprocessor Simulation Model , ACM Transactions on Computer Systems, Vol. 4, No. 4, November 1986.

Astra76

Astrahan, M. M., Blasgen, M. W., Chamberlin, D. D., Eswaran, K. P., Gray, J. N., Griffiths, P. P., King, W. F., Lorie, R. A., McJones, P. R., Mehl, J. W., Putzolu, G. R., Traiger, I. L., Wade, B. W., Watson, V., System R: Relational Approach to Database Management , ACM Transactions on Database Systems, Vol. 1, No. 2, June 1976.

Badri92

Badrinath, B. R., Ramamritham, K., Semantics-Based Concurrency Control: Beyond Commutativity , ACM Transactions on Database Systems, Vol. 17, No. 1, March 1992.

Balzer85

Balzer, R., Automated Enhancement of Knowledge Representations , International Joint Conference on Artifical Intelligence, 1985.

Ban81

Bancilhon, F., Spyratos, N., Update Semantics of Relational Views , ACM Transactions on Database Systems, Vol. 6, No. 4, December 1981.

Barg91

Barghouti, N. S., Kaiser, G. E., Concurrency Control in Advanced Database Applications , ACM Computing Surveys, Vol. 23, No. 3, September 1991.

Barnes80

Barnes, J. G. P., An Overview of ADA , Software Practice and Experience, Vol. 10, 1980.

Berm94

Berman, D. F., Bartell, J. T., Salesin, D. H., Multiresolution Painting and Compositing , ACM Computer Graphics Proceedings Annual Conference Series, 1994.

Bern81

Bernstein, P. A., Goodman, N., Concurrency Control in Distributed Database Systems , ACM Computing Surveys, Vol. 13, No. 2, June 1981.

Bern87

Bernstein, P. A., Hadzilacos, V., Goodman, N., Concurrency Control and Recovery in Database Systems , Addison Wesley Publishing Company Inc., ISBN 0-201-10715-5, 1987.

Besh85

Beshers, G., Campbell, R., Maintained and Constructor Attributes , ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, June 1985.

Birt73

Birtwistle, G. M., Dahl, O-J, Myhrhaug, B. Nygaard, K., Simula Begin , Studentlitteratur and Auerbach Publishers, ISBN 91-44-06211-7, 1973.

Bon97

Bonasso, R. P., Firby, R. J., Gat, E., Kortenkamp, D., Miller, D. P., Slack, M. G., Experiences with an Architecture for Intelligent Reactive Agents , Journal of Experimental and Theoretical Artificial Intelligence, Vol. 9, No. 2, 1997.

Born82

Borning, A. H., Ingalls, D. H. H., Multiple Inheritance in Smalltalk-80 , American Association for Artifical Intelligence Conference, August 1982.

Brinch78

Brinch Hansen, P., Distributed Processes: A Concurrent Programming Concept , Communications of the ACM, Vol. 21, No. 11, November 1978.

Brahma90

Brahmadathan, K., Ramarao, K. V. S., On the Management of Long-Living Transactions , Journal of Systems Software, Vol. 11, 1990.

Brill96

Brill, F., Representation of Local Space in Perception/Action Systems: Behaving Appropriately in Difficult Situations , Ph.D. Dissertation, Department of Computer Science, University of Virginia, 1996.

Brill98

Brill, F., Wasson, G., Ferrer, G., Martin W., The Effective Field of View Paradigm: Adding Representation to a Reactive System , Engineering Applications of Artificial Intelligence issue on Machine Vision for Intelligent Vehicles and Autonomous Robots, Vol. 11, 1998.

Brooks86

Brooks, R. A., A Robust Layered Control System For A Mobile Robot , IEEE Journal of Robotics and Automation, Vol. RA-2, No. 1, March 1986.

Burd95

Burdick, C. D., Interoperability of Simulations with Different Levels of Resolution , Defense Modeling and Simulation Office (DMSO) Workshop, Alexandria, Virginia, November 1995.

Burns98

Burns, A., Prasad, D., Bondavalli, A., Di Giandomenico, F., Ramamritham, K., Stankovic, J., Strigini, L., The Meaning and Role of Value in Scheduling Flexible Real-Time Systems , Technical Report CS-98-29, Department of Computer Science, University of Virginia, 1998.

Cald95a

Calder, R. B., Peacock, J. C., Panagos, J., Johnson, T. E., Integration of Constructive, Virtual, Live, and Engineering Simulations in the JPSD CLCGF , 5th Conference on Computer Generated Forces & Behavioral Representation, Orlando, Florida, May 1995.

Cald95b

Calder, R. B., Peacock, J. C., Wise, B. P. Jr., Stanzione, T., Chamberlain, F., Panagos, J., Implementation of a Dynamic Aggregation/Deaggregation Process in the JPSD CLCGF , 5th Conference on Computer Generated Forces & Behavioral Representation, Orlando, Florida, May 1995.

Card85

Cardelli, L., Wegner, P., On Undertanding Types, Data Abstractions, and Polymorphism , ACM Computing Surveys, Vol. 17, No. 4, December 1985.

Cham75

Chamberlin, D. D., Gray, J. N., Traiger, I. L., Views, Authorization, and Locking in a Relational Database System , American Federation of Information Processing Societies Conference, 1975.

Chen76

Chen, P. P., The Entity-Relationship Model -- Toward a Unified View of Data , ACM Transactions on Database Systems, Vol. 1, No. 1, March 1976.

Clark76

Clark, J. H., Hierarchical Geometric Models for Visible Surface Algorithms , Communications of the ACM, Vol. 19, No. 10, October 1976.

Clark94

Clark, K. J., Brewer, D., Bridging the Gap Between Aggregate Level and Object Level Exercises , 4th Conference on Computer Generated Forces & Behavioral Representation, Orlando, Florida, May 1994.

Codd70

Codd, E. F., A Relational Model of Data for Large Shared Data Banks , Communications of the ACM, Vol. 13, No. 6, June 1970.

Cormen89

Cormen, T. H., Leiserson, C. E., Rivest, R. L., Introduction to Algorithms , MIT Press, ISBN 0-262-03141-8, 1989.

Cox95

Cox, A., Maybury, J., Weeden, N., Aggregation Disaggregation Research -- A UK Approach , 13th DIS Workshop on Standards for the Interoperability of Distributed Simulations, Orlando, Florida, September 1995.

Dah95

Dahmann, J., Wood, D. C., editors , Special Issue of IEEE Distributed Interactive Simulation, Vol. 83, No. 8, August 1995.

Dahl66

Dahl, O-J., Nygaard, K., Simula -- An Algol-Based Simulation Language , Communications of the ACM, Vol. 9, No. 9, September 1966.

Date95

Date, C. J., An Introduction to Database Systems (Sixth Edition) , Addison Wesley Publishing Company Inc., ISBN 0-201-54329-X, 1995.

Davis82

Davis, A. L., Keller, R. M., Data Flow Program Graphs , IEEE Computer, Vol. 15, No. 2, February 1982.

Davis92

Davis, P. K., An Introduction to Variable-Resolution Modeling and Cross-Resolution Model Connection , Conference on Variable-Resolution Modeling, Washington, DC, May 1992.

Davis93

Davis, P. K., Hillestad, R. J., Families of Models that Cross Levels of Resolution: Issues for Design, Calibration and Management , Winter Simulation Conference, 1993.

Davis98

Davis, P. K., Bigelow, J. H., Experiments in Multiresolution Modeling (MRM) , Prepared for the Defense Advanced Research Projects Agency by RAND's National Defense Research Institute, ISBN 0-8330-2653-4, 1998.

Demers85

Demers, A., Rogers, A., Zadeck, F. K., Attribute Propagation by Message Passing , ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, June 1985.

Dennis80

Dennis, J. B., Data Flow Supercomputers , IEEE Computer, Vol. 13, No. 1, November 1980.

DIS93

DIS Steering Committee, The DIS Vision, A Map to the Future of Distributed Simulation , Comment Draft, October 1993.

DoD94

Under Secretary of Defense (Acquisition and Technology), Modeling and Simulation (M&S) Master Plan , Dept. of Defense, September 1994.

Epst85

Epstein, J. M., The Calculus of Conventional War: Dynamic Analysis Without Lanchester Theory , The Brookings Institute, 1985.

Erman80

Erman, L. D., Hayes-Roth, F., Lesser, V. R., Reddy, D. R., The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty , ACM Computing Surveys, Vol. 12, No. 2, June 1980.

Eswa76

Eswaran, K. P., Gray, J. N., Lorie, R. A., Traiger, I. L., The Notions of Consistency and Predicate Locks in a Database System , Communications of the ACM, Vol. 19, No. 11, November 1976.

Firby87

Firby, R. J., An Investigation into Reactive Planning in Complex Domains , American Association for Artifical Intelligence Conference, 1987.

Fowler97

Fowler, M., Scott, K., UML Distilled , Addison Wesley Longman Inc., ISBN 0-201-32563-2, 1997.

France93

Franceschini, R. W., Intelligent Placement of Disaggregated Entities , Institute for Simulation and Training, 1993.

Free90

Freeman-Benson, B. N., Maloney, J., Borning, A., An Incremental Constraint Solver , Communications of the ACM, Vol. 33, No. 1, January 1990.

Früh92a

Frühwirth, T., Herold, A., Küchenhoff, V., Le Provost, T., Lim, P., Monfroy, E., Wallace, M., Constraint Logic Programming -- An Informal Introduction , Logic Programming in Action, LNCS 636, Springer-Verlag, 1992, Technical Report ECRC-92-6i, European Computer-Industry Research Centre, July 1992.

Früh92b

Frühwirth, T., Constraint Simplification Rules , Technical Report ECRC-92-18, European Computer-Industry Research Centre, July 1992.

Fuji90

Fujimoto, R. M., Parallel Discrete Event Simulation , Communications of the ACM, Vol. 33, No. 10, October 1990.

Gajski82

Gajski, D. D., Padua, D. A., Kuck, D. J., Kuhn, R. H., A Second Opinion on Data Flow Machines and Languages , IEEE Computer, Vol. 15, No. 2, February 1982.

Gar87

Garlan, D., Views for Tools in Integrated Environments , Ph.D. Dissertation, Technical Report CMU-CS-87-147, School of Computer Science, Carnegie Mellon University, 1987.

Gar95

Garland, M., Heckbert. P. S., Fast Polygonal Approximations of Terrains and Height Fields , Technical Report CMU-CS-95-181, School of Computer Science, Carnegie Mellon University, September 1995.

Garcia83

Garcia-Molina, H., Using Semantic Knowledge for Transaction Processing in a Distributed Database , ACM Transactions on Database Systems, Vol. 8, No. 2, June 1983.

García93

García de la Banda, M., Hermenegildo, M., Marriott, K., Independence in Constraint Logic Programs , International Logic Programming Symposium, MIT Press, 1993.

Gat92

Gat, E., Integrating Planning and Execution in a Heterogeneous Asychronous Architecture for Controlling Real-World Mobile Robots , American Association for Artifical Intelligence Conference, 1992.

Giorgi90

Giorgi, F., Simulation of Regional Climate Using a Limited Area Model Nested in a General Circulation Model , Journal of Climate, Vol. 3, September 1990.

Giorgi91

Giorgi, F., Mearns, L. O., Approaches to the Simulation of Regional Climate: A Review , Reviews of Geophysics, Vol. 29, No. 2, May 1991.

Gold80

Goldstein, I. P., Bobrow, D. G., Descriptions for a Programming Environment , First Annual Conference of the National Association for Artificial Intelligence, August 1980, Xerox Technical Report CSL-81-3.

Good75

Goodenough, J. B., Exception Handling: Issues and a Proposed Notation , Communications of the ACM, Vol. 18, No. 12, December 1975.

Grim93

Grimshaw, A. S., Strayer, W. T., Narayan P., Dynamic, Object-Oriented Parallel Processing , IEEE Parallel and Distributed Technology, May 1993.

Haer83

Haerder, T., Reuter, A., Principles of Transaction-Oriented Database Recovery , ACM Computing Surveys, Vol. 15, No. 4, December 1983.

Hanks90

Hanks, S., Firby, R. J., Issues and Architectures for Planning and Execution , DARPA Workshop on Innovative Approaches to Planning, Scheduling and Control, San Mateo, CA, November 1990.

Hardy94

Hardy, D., Healy, M., Constructive & Virtual Interoperation: A Technical Challenge , 4th Conference on Computer Generated Forces & Behavioral Representation, Orlando, Florida, May 1994.

Harsh92

Harshberger, E. R., Bennett, B. E., Frelinger, D. R., An Approach to Hierarchies of Models: Process Independence , Conference on Variable-Resolution Modeling, Washington, DC, May 1992.

Heck94

Heckbert, P. S., Garland, M., Multiresolution Modeling for Fast Rendering , Graphics Interface, Banff, Canada, May 1994.

Heck97

Heckbert, P. S., Garland, M., Survey of Polygonal Surface Simplification Algorithms , Multiresolution Surface Modeling Course, ACM Computer Graphics Proceedings Annual Conference Series, May 1997.

Henn96

Hennessey, J. L., Patterson, D. A., Computer Architecture: A Quantitative Approach (Second Edition) , Morgan Kaufmann Publishers, ISBN 1-55860-329-8, 1996.

Hill92a

Hillestad, R. J., Juncosa, M. L., Cutting Some Trees to See the Forest: On Aggregation and Disaggregation in Combat Models , Conference on Variable-Resolution Modeling, Washington, DC, May 1992, Naval Research Logistics, Vol. 42, 1995.

Hill92b

Hillestad, R. J., Owen, J., Blumenthal, D., Experiments in Variable Resolution Combat Modeling , Conference on Variable-Resolution Modeling, Washington, DC, May 1992, Naval Research Logistics, Vol. 42, 1995.

Hofer95

Hofer, R. C., Loper, M. L., DIS Today , Proceedings of the IEEE, Vol. 83, No. 8, August 1995.

Hop79

Hopcroft, J. E., Ullman, J. D., Introduction to Automata Theory, Languages, and Computation , Addison Wesley Publishing Company Inc., ISBN 0-201-02988-X, 1979.

Hor86

Horwitz, S., Teitelbaum, T., Generating Editing Environments Based on Relations and Attributes , ACM Transactions on Programming Languages and Systems, Vol. 8, No. 4, October 1986.

Horr92

Horrigan, T. J., The "Configuration Problem" and Challenges for Aggregation , Conference on Variable-Resolution Modeling, Washington, DC, May 1992.

How97

Howard, J. D., An Analysis of Security Incidents on the Internet 1989-1995 , Ph.D. Dissertation, Engineering and Public Policy, Carnegie Mellon University, 1997.

Humbel96

Humbel, S., Sieber, S., Morokuma, K., The IMOMO method: Integration of different levels of molecular orbital approximations for geometry optimization of large systems: Test for n-butane confirmation and SN2 reaction: RCl+Cl− , Journal of Chemical Physics, Vol. 105, No. 5, August 1996.

Jaffar92

Jaffar, J., Michaylov, S., Stuckey, P., Yap, R. H. C., The CLP(ℜ) Language and System , ACM Transactions on Programming Languages and Systems, Vol. 14, No. 3, July 1992.

Jaffar94

Jaffar, J., Maher, M. J., Constraint Logic Programming: A Survey , Journal of Logic Programming, Vol. 19, May 1994.

Jeff85

Jefferson, D. R., Virtual Time , ACM Transactions on Programming Languages and Systems, Vol. 7, No. 3, July 1985.

JPSD97

--, Federate Object Model for Joint Precision Strike Demonstration , OMT v1.3, 1997.

JTFp97

--, Federate Object Model for Joint Task Force Prototype , OMT v1.3, 1997.

Karr83

Karr, A. F., Lanchester Attrition Processes and Theater-Level Combat Models , Mathematics of Conflict, Elsevier Science Publishers B.V. (North-Holland), ISBN: 0 444 86678 7, 1983.

Karr94

Karr, C. R., Root, E., Integrating Aggregate and Vehicle Level Simulations , 4th Conference on Computer Generated Forces & Behavioral Representation, Orlando, Florida, 1994.

Kern88

Kernighan, B. W., Ritchie, D. M., The C Programming Language (Second Edition) , Prentice Hall Inc., ISBN 0-13-110370-9, 1988.

Knuth68

Knuth, D. E., Semantics of Context-free Languages , Mathematical Systems Theory, Vol. 2, No. 2, June 1968.

Knuth71

Knuth, D. E., Semantics of Context-free Languages: Correction , Mathematical Systems Theory, Vol. 5, No. 1, March 1971.

Korth88

Korth, H. F., Speegle, G. D., Formal Model of Correctness without Serializability , ACM SIGMOD Record, Vol. 17, No. 3, September 1988.

Laird91

Laird, J., Yager, E., Hucka, M., Tuck, C., Robo-Soar: An Integration of External Interaction, Planning, and Learning using Soar , Robotics and Autonomous Systems, Vol. 8, 1991.

Lam78

Lamport, L., Time, Clocks, and the Ordering of Events in a Distributed System , Communications of the ACM, Vol. 21, No. 7, July 1978.

Lam94

Lamport, L., The Temporal Logic of Actions , ACM Transactions on Programming Languages and Systems, Vol. 16, No. 3, May 1994.

Lee98

Lee, A. W. F., Sweldens, W., Schröder, P., Cowsar, L., Dobkin, D., MAPS: Multiresolution Adaptive Parameterization of Surfaces , Computer Graphics Proceedings Annual Conference Series, 1998.

Linton84

Linton, M. A., Implementing Relational Views of Programs , ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, April 1984.

Liskov79

Liskov, B. H., Snyder, A., Exception Handling in CLU , IEEE Transactions on Software Engineering, Vol. SE-5, No. 6, November 1979.

Luebke97

Luebke, D., Survey of Polygonal Simplification Algorithms , Technical Report TR97-045, Department of Computer Science, University of North Carolina, 1997.

Lynch83

Lynch, N. A., Multilevel atomicity: a new correctness criterion for database concurrency control , ACM Transactions on Database Systems, Vol. 8, No. 4, December 1983.

Mad74

Madnick, S. E., Donovan, J. J, Operating Systems , McGraw-Hill Inc., ISBN 0-07-039455-5, 1974.

Marr93

Marriott, K., Stuckey, P. J., The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering , 20th Annual ACM Symposium on Principles of Programming Languages, 1993.

Matsu96

Matsubara, T., Maseras, F., Koga, N., Morokuma, K., Application of the New "Integrated MO + MM" (IMOMM) Method to the Organometallic Reaction Pt(PR3)2 + H2 (R = H, Me, t-Bu, and Ph) , Journal of Physical Chemistry, Vol. 100, No. 7, 1996.

Matt89

Mattern, F., Virtual Time and Global States of Distributed Systems , Parallel and Distributed Algorithms, Elsevier Science Publishers B.V. (North-Holland), 1989.

Miller95

Miller, D. C., Thorpe, J. A., SIMNET: The Advent of Simulator Networking , Proceedings of the IEEE, Vol. 83, No. 8, August 1995.

Munson96

Munson, J., Dewan, P., A Concurrency Control Framework for Collaborative Systems , ACM Conference on Computer Supported Cooperative Work, 1996.

Nat95

Natrajan, A., Nguyen-Tuong, A., To disaggregate or not to disaggregate, that is not the question , ELECSIM, Internet, April-June, 1995, Technical Report CS-95-18, Department of Computer Science, University of Virginia, 1995.

Nat96

Natrajan, A., Reynolds Jr., P. F., Srinivasan, S., Consistency Maintenance using UNIFY , Technical Report CS-95-28, Department of Computer Science, University of Virginia, 1996, Part of Grant Proposal to DMSO, 1995-1996.

Nat97

Natrajan, A., Reynolds Jr., P. F., Srinivasan, S., A Flexible Approach to Multi-Resolution Modeling , Parallel and Distributed Simulation, June 1997.

Nat99

Natrajan, A., Reynolds Jr., P. F., Resolving Concurrent Interactions , 3rd International Workshop on Distributed Interactive Simulation and Real Time Applications, October 1999.

NRC97

Committee on Modeling and Simulation: Opportunities for Collaboration between the Defense and Entertainment Research Communities, Modeling and Simulation: Linking Entertainment and Defense , National Research Council, October 1993.

OMT98

U.S. Department of Defense, High Level Architecture Object Model Template Specification Version 1.3 , IEEE P1516.2, Standard for Modeling and Simulation, April 1998.

Papa86

Papadimitriou, C. H., The Theory of Database Concurrency Control , Computer Science Press, ISBN 0-88175-027-1, 1986.

Peter77

Peterson, J. L., Petri Nets , ACM Computing Surveys, Vol. 9, No. 3, September 1977.

Petri62

Petri, C. A., Kommunikation mit Automaten , Ph.D. dissertation, Schriften des Rheinisch-Westfalischen Institutes für Instrumentelle Mathematik an der Universitat Bonn, 1962.

Petty94

Petty, M. D., The Turing Test as an Evaluation Criterion for Computer Generated Forces , 4th Conference on Computer Generated Forces & Behavioral Representation, Orlando, Florida, May 1994.

Petty95

Petty, M. D., Franceschini, R. W., Disaggregation Overload and Spreading Disaggregation in Constructive+Virtual Linkages , 5th Conference on Computer Generated Forces & Behavioral Representation, Orlando, Florida, May 1995.

Pratt95

Pratt, D. R., Johnson, M. A., Constructive and Virtual Model Linkage , Winter Simulation Conference, 1995.

Pullen95

Pullen, J. M., Wood, D. C., Networking Technology and DIS , Proceedings of the IEEE, Vol. 83, No. 8, August 1995.

Puppo97

Puppo, E., Scopigno, R., Simplification. LOD and Multiresolution Principles and Applications , Eurographics, Vol. 16, No. 3, 1997.

Reddy95

Reddy, R., Garrett, R., Future Technology Challenges in Distributed Interactive Simulation , Proceedings of the IEEE, Vol. 83, No. 8, August 1995.

Reps84

Reps, T., Teitelbaum, T., The Synthesizer Generator , ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Software Engineering Notes, Vol. 9, No. 3, SIGPLAN Notices, Vol. 19, No. 5, May 1984.

Reps86

Reps, T., Marceau, C., Teitelbaum, T., Remote attribute updating for language-based editors , 13th Annual ACM Symposium on Principles of Programming Languages, 1986.

Reyn94

Reynolds Jr., P. F., DISorientation , ELECSIM 94, Internet, April-June, 1994.

Reyn97

Reynolds Jr., P. F., Natrajan, A., Srinivasan, S., Consistency Maintenance in Multi-Resolution Simulations , ACM Transactions on Modeling and Computer Simulation, Vol. 7, No. 3, July 1997.

Risbey96

Risbey, J. S., Stone, P. H., A Case Study of the Adequacy of GCM Simulations for Input to Regional Climate Change Assessments , Journal of Climate, Vol. 9, July 1996.

Robkin92

Robkin, M., A proposal to Modify the Distributed Interactive Simulation Aggregate PDU , Hughes Training Inc., February 1992.

Rosser82

Rosser, J. B., Highlights of the history of the lambda-calculus , Conference Record of 1982 ACM Symposium on Lisp and Functional Programming, 1992.

RPR97

--, Federate Object Model for Real-time Platform Reference , OMT v1.3, September 1997.

Rum91

Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W., Object-Oriented Modeling and Design , Prentice Hall PTR, ISBN 0-13-629841-9, 1991.

Sacer74

Sacerdoti, E. D., Planning in a Hierarchy of Abstraction Spaces , Artificial Intelligence, Vol. 5, 1974.

Saras91

Saraswat, V. A., Rinard, M., Panangaden, P., Semantic Foundations of concurrent constraint programming , 18th Annual ACM Symposium on Principles of Programming Languages, 1991.

Seidel95

Seidel, D. W., King, B. C., Burke, C. D., AIM Approach to Simulation Interoperability, The MITRE Corporation, Preliminary Draft, July 1995.

Sher92

Sherman, R., Butler, B., Segmenting the Battlefield , Loral WDL, June 1992.

Shlaer92

Shlaer, S., Mellor, S. J., Object Lifecycles: Modeling the World in States , Prentice Hall PTR, ISBN 0-13-629940-7, 1992.

Silb91

Silberschatz, A., Peterson, J. L., Galvin, P., Operating System Concepts (Third Edition) , Addison Wesley Publishing Company Inc., ISBN 0-201-51379-X, 1991.

Sim94

Simmons, R., Structured Control for Autonomous Robots , IEEE Transactions on Robotics and Automation, Vol. 10, No. 1, February 1994.

Smith94

Smith, R. D., Invited speaker , Department of Computer Science, University of Virginia, December 1994.

Smith95

Smith, R. D., The Conflict Between Heterogeneous Simulation and Interoperability , 17th Inter-Service/Industry Training, Simulation, and Education Conference (I/ITSEC) Proceedings, November 1995.

Stefik86

Stefik, M., Bobrow, D. G., Object-Oriented Programming: Themes and Variations , AI Magazine, Vol. 6, No. 4, 1986.

Stein94

Steinman, J. S., Wieland, F., Parallel Proximity Detection and the Distribution List Algorithm , 1994.

Stober95

Stober, D. R., Kraus, M. K., Foss, W. F., Franceschini, R. W., Petty, M. D., Survey of Constructive+Virtual Linkages , 5th Conference on Computer Generated Forces & Behavioral Representation, Orlando, Florida, May 1995.

Stone76

Stonebraker, M. R., Wong, E., Kreps, P., Held, G., The Design and Implementation of Ingres , ACM Transactions on Database Systems, Vol. 1, No. 3, September 1976.

Strou91

Stroustrup, B., The C++ Programming Language (Second Edition) , Addison Wesley Publishing Company Inc., ISBN 0-201-53992-6, 1991.

Sull94

Sullivan, K. J., Mediators: Easing the Design and Evolution of Integrated Systems , Ph.D. Dissertation, Technical Report 94-08-01, Department of Computer Science and Engineering, University of Washington, 1984.

Sven96a

Svensson, M., Humbel, S., Froese, R. D. J., Matsubara, T., Sieber, S., Morokuma, K., ONIOM: A Multilayered Integrated MO + MM Method for Geometry Optimizations and Single Point Energy Predictions. A Test for Diels-Alder Reactions and Pt(P(t-Bu)3)2 + H2 Oxidative Addition , Journal of Physical Chemistry, Vol. 100, No. 50, 1996.

Sven96b

Svensson, M., Humbel, S., Morokuma, K., Energetics using the single point IMOMO (integrated molecular orbital + molecular orbital) calculations: Choices of computational levels and model system , Journal of Chemical Physics, Vol. 105, No. 9, September 1996.

Tanen92

Tanenbaum, A. S., Modern Operating Systems , Prentice Hall Inc., ISBN 0-13-595752-4, 1992.

Texel97

Texel, P. P., Williams, C. B., Use Cases combined with Booch/OMT/UML: Process and Products , Prentice Hall PTR, ISBN 0-13-727405-X, 1997.

Thom98

Thomasin, A., Concurrency Control: Methods, Performances and Analysis , ACM Computing Surveys, Vol. 30, No. 1, March 1998.

Turing50

Turing, A. M., Computing Machinery and Intelligence , Mind, Vol. 59, October 1950.

Van96

Van Hentenryck, P., Saraswat, V. A., et al, Strategic Directions in Constraint Programming , ACM Computing Surveys, Vol. 28, No. 4, December 1996.

Was98a

Wasson, G., Martin, W., Multi-tiered Representation for Autonomous Robots , SPIE Conference on Mobile Robots and Autonomous Systems, November 1998.

Was98b

Wasson, G. S., Natrajan, A., Gunderson, J. P., Ferrer, G. J., Martin, W. N., Reynolds Jr., P. F., Consistency Maintenance in Autonomous Agent Representations , Technical Report CS-98-06, Department of Computer Science, University of Virginia, 1998.

Was99

Wasson, G. S., Design of Representation Systems for Autonomous Agents , Ph.D. Dissertation, Department of Computer Science, University of Virginia, 1999.

Weat93

Weatherly, R. M., Wilson, A. L., Griffin, S. P., ALSP -- Theory, Experience and Future Directions , Winter Simulation Conference, 1993.

Weihl88

Weihl, W. E., Commutativity-Based Concurrency Control for Abstract Data Types , IEEE Transactions on Computers, Vol. 37, No. 12, December 1988.

Will93

Williams, C. C., Concurrency Control in Asynchronous Computations , Ph.D. Dissertation, Department of Computer Science, University of Virginia, 1998.

Wim86

Wimsatt, W. C., Heuristics and the Study of Human Behavior , in Fiske, D., Shweder, R., eds., Meta-Theory in the Social Sciences: Pluralisms and Subjectives, University of Chicago Press, 1986.

Yemini85

Yemini, S., Berry, D. M., A Modular Verifiable Exception-Handling Mechanism , ACM Transactions on Programming Languages and Systems, Vol. 7, No. 2, April 1985.

Zorin97

Zorin, D., Schröder, P., Sweldens, W., Interactive Multiresolution Mesh Editing , ACM Computer Graphics Proceedings Annual Conference Series, May 1997.