Conferences - Simulation & Protocol Specification
E1AR...@smuvm1.bitnet.uucp
April 6-9, 1987, Orlando, Florida
AI and Simulation at Johnson Space Center, Robert Salvely (verbal presentation)
Flight Simulator Evaluation of Aircraft Systems Using AI Technology (verbal ..
Edward M. Huff, NASA Ames Research Center
An Expert System fo rManaging Multiple Cooperating Expert Systems (verbal ...
A. Gerstenfeld, Geoffrey Gosling, David S. Touretzky Worcester Polytechnic
The Simulation of Simple Analog and Discrete Circuits from a Knowledge Base
Representaiton of Structure and Function
NASA, Kennedy Space Center
Acknowledge2: A Knowledge Acquisition System
Pradip Dey, Kevin D. REilly, J. Todd Brown, University of Alabama at Birmingham
Knowledge Corpora Connectivities - Toward the Construction of a Thought
Simulator Testbed
Alhad M. Chande, Marti.n Marietta Baltimore Aerospace, Joe Clema, IIT
Research Institute
Qualitative Expert Systems: A Demographic Simulator with Heuristic Reasoning
Walt Conley, W. Lawrence, U. Sengupta, R. Hartley, M. Coombs, New Mexico
State University
Model Management in Knowledge Based Simulation
Hawa Singh, Alan Butcher, R. Reddy, West Virginia University
Constraint Directed Reasoning for Simulation Problem Formulation
Neena Sathi, Gary STrohm, Thomas Morton, Sean Winters, Carnegie Group Inc.
Knowledge-Based Resource Behavior
Allen Matsumoto, V. Baskaran, Beth Marvel, Carnegie Group
Sonar Plexus - Enhancing a Command and Control Simulation with Reasoning
Marc R. Halley, Thomas MIller, Craig Hougum, William Mosenthal
Analytic Sciences Corporation
Computer System Simulation in Scheme
Daniel B. Pliske The Analytical Sciences Corporation
Real Time Intelligent System Analysis by Dsicrete Event Simulation
J. M. Poole, T. M. McDermott, D. P. Glasson,
The Analytica Sciences Corporation
The Mobile Intercontinental Ballistic MIssible Simulation
Douglas Roberts, J. Darrell Morgeson, Jared S. Dreicer, Howard W. Egdorf
Los Alamos National Laboratory
SIMSMART: Dynamic Simulation fo rAutomated Control of Complex Industrial
Processes
Don Waye Applied High Technology Limited
Applicability of AI Techniques to Simulation Models
Norman R. Nielsen, SRI International, Victoria P. Gilbert, Intellicorp
Improving Effectivenes of Computer Simulation SModeling with Knowledge-
Based Problem-Solving Capability
Ronak Shodhan, J. J. Talavage, Purdue University
Expert Systems within Simulations
JohnPaul SanGiovanni, Jockey Holley Technologies
A Communication Network Model of the Brain
Ray Moses, Boeing Aerospace Company
An ARtificial Intelligence (AI) Simulation Based Approach for Aircraft
Maintenance Training
Lee Keskey, Dave Sykes, Honey Well Inc.
Knowledge Representation in Ada
Sumitra M. REddy, Francis L. VAn Scoy, West Virginia University
A Simulator of an Automatic Text Reading System
Nikolaos G. Bourbakis, George Mason University, Scott Schneider, IDA
Two-dimensional Image Scanning for Hierarchical Data Structures and Its
Simulation
Nikolaos G. Bourbakis, George Mason University
Cognitive Learning Theory: A Tool for Modelling and Simulation
Donald A. MacCuish, ICSD Corporation
A Computer Simulation Program of Animal Maze Learning
Roger Ingliss, Warren Marchioni, Montclair High School
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Protocol Specification, Testing and Verification: VII
May 5- 8, 1987, IFIP Protocol Symposium Interconventional Ltd.
c/o SWISSAIR CH-8058 Zurich-Airport, Switzerland
Communicati.ng Rule Systems
L. F. Mackert & I. Neumeier-Mackert
IBM European Network Center, Heidelberg
An Atomic Calculus of Communicati.ng Systems
L. Logrippo and A. Obaid
University of Ottawa
Fundamental Results for the Verification of Observational Equivalence:
A Survey
T. bolognesi, CNUCE, Pisa, S. A. Smolka, SUNY, STony Brook
Proof of Specification Properties by Using Finite State Machines and
Temporal Logic
A. R. Cavalli, F. Horn, CNET, Issy, Les Moulineaux
Translation of Formal Protocol Specifications to VLSI Designs
A. S. Krishankumar, B. Krishnamurthy, K. Sabnani
AT&T Bell Labs, Murray Hill