Pattern matching is the process of comparing two objects to see if they are similar to each other. Objects can be physical objects, situations, facts or events. The criteria of matching can be exact or partial. Traditional pattern matching systems rely on exact matches, in which a small set of...
The Structural Active-Object System (SAOS) approach allows rapid development of various concurrent systems by structural and hierarchical object composition (SHOC). We implemented, as a SAOS program, a graphical editing and simulation program for automatic guided vehicle (AGV) systems, which carry around parts in automated factories. It is difficult to predict...
Programming style plays an important role in program understanding and maintenance. Studies [Par83] have shown that as much as one- half of a maintenance programmer's time is spent in activities related to understanding the program. Program understanding is also important for testing and debugging. Programming style embellishes the readability of...
An execution of a database system is considered correct if its net effect is as if transactions were executed serially, and such an execution is called serializable. In this short paper we show that the serializability test problem can be reduced to a simple pebbling problem. Our characterization is intuitive...
Multimedia networking is one of the most exciting developments in today's Internet. Streaming technology; which allows the player to start playing audio/video data immediately instead of waiting for the entire file to be downloaded, presents an attractive vehicle for the distribution of multimedia content over the Internet. However, transmitting real-time...
In this project we examine the features of object oriented programming languages that make them most likely languages of choice for implementing simulations. Three simulations of a bank, hospital, and livestock farm scenarios were implemented in the language C++ in order to demonstrate how Object-Oriented languages are used in constructing...
The major obstacle to widespread parallel programming of multiprocessors is the lack of a convenient parallel programming system. PPSE (Parallel Programming Support Environment) is a unified approach to parallel programming. Parallax is developed as a component of PPSE based on ELGDF which is a graphical language for designing parallel programs....
Hayes, in his Naive Physics Manifesto, identified two alternate ontologies for reasoning about liquids, an ontology based on the notion of a contained substance and one based on the notion of a molecular collection. Qualitative Process theory, proposed by Forbus, lends itself easily to encoding the contained substance ontology. It...
In this report, we describe an implementation of a prototype information resources management system for the synthesis and integration project of the forest response program using a 4GL application development system ACCELL. Our system is called Prototype Virtual Data Management System (PVDMS). ACCELL is a software package that combines a...