CSC

There is increasing market pressure to provide support for the open interconnection of systems via general purpose protocol suites such as OSI and TCP/IP. The complexity of these protocols means that the achievement of acceptable performance is not ...

Metropolitan Area Networks (MANs) have the potential to be interconnected in such a way that the resulting wider, composite network will be still capable of managing integrated services such as video, voice and data. In this paper we develop an ...

A method for synthesizing a protocol converter with a High Level Petri Net (HLPN) model will be presented in this paper. The services provided by the underlying protocols will first be converted, and then the protocol converter will be derived from the ...

Controller Area Network (CAN) defines a very efficient medium access control protocol. This protocol solve conflict message transmission conflicts through message priorities, and results in a high channel utilization and short message delay for higher ...

Geographic database systems are large and complex systems characterized by a high degree of interactivity. Though the object-oriented approach is powerful enough for the representation of geographic information, the availability of a flexible and easy-...

Sorting is a significant activity for which better methods are always sought. In many computing scenarios, sorting must be done with the majority of data items remaining on an auxiliary storage device. This paper introduces a new data structure, the *M-...

A formal data model and integrated multilevel security policy for object-oriented database systems are presented in this paper. The security policy addresses mandatory as well as discretionary security controls. Classes derive security classification ...

This article presents an integrated data structure which offers multiple access paths for processing different types of queries efficiently. The data structure is developed by fusing the B⁺ - tree, the grid file and extendible hashing structures using a ...

This paper surveys three methods for computing the prime implicates of a set of propositions (ie., minimizing a boolean function) and performs a comparison between them. Data is provided which suggests that methods based on resolution can be as ...

Program development can be made amenable to formal methods by using a logical framework. A logic specification, whose operational semantics is based on proof theory, provides an abstract and “implementation independent” definition of the problem, the ...

We extend some Turing notions of computation, from over the integers Z, to computation over complex variables C. Corresponding to scientific problems, we implement knowledge based heuristically developed Prolog databases for visualizing and symbolically ...

The N-Queens problem is a commonly used example in computer science. There are numerous approaches proposed to solve the problem. We introduce several definitions of the problem, and review some of the algorithms. We classify the algorithms for the N-...

We set out to demonstrate the effectiveness of distributed genetic algorithms using multivariate crossover in optimizing a function of a sizable number of independent variables. Our results show that this algorithm has unique potential in optimizing ...

A distributed system consists of a set of loosely connected state machines which do not share a global memory. All the possible global states of the system can be split up into legal and illegal states. A self-stabilizing system is a network of ...

Delta Prolog is a concurrent logic programming language founded on the theoretical model of Distributed Logic and extending the Prolog language in order to allow the specification of concurrent systems. This paper describes Delta Prolog, its operational ...

The intrinsic complexity and the geometric nature of network topology optimization lends itself to visual human-computer interaction. We have applied techniques of scientific visualization to all the aspects of network design, and have designed ...

In this paper we describe a graphical interface that is an effective tool for displaying and analyzing communication protocols. Asynchronous distributed systems, and communication networks in particular, are often very complex and the interactions ...

The Abstract Personal Communications Manager (APCM) is an Application programmers Interface (API) for telecommunications, providing simple and powerful interaction between communication applications and protocol software for circuit switched connections ...

This paper describes the architecture of a heterogeneous distributed database management system called the Distributed Access View Integrated Database (DAVID). The DAVID system allows uniform access to distributed data stored in different DBMSs that ...

Efficient concurrency control protocols are required in order for it to be possible to schedule real-time database transactions so as to satisfy both real-time constraints and data consistency requirements. In this paper, two new real-time concurrency ...

A dual knowledge representation is discussed which encompasses the instructor's organization of pedagogical knowledge and the domain expert's structuring of conceptual knowledge. This representation forms the basis of the knowledge structures of ITS ...

An investigation of recent development of planning systems is performed, with emphasis on issues of knowledge representation, and the possible solutions for representing the effects of actions are pointed out.

This paper presents a method to optimize proportional-integral-derivative (PID) control parameters, given a discrete model of the controlled process. This method is based on Holland's genetic algorithm (GA). It does not require a mathematical model of ...

This paper provides efficient algorithms to deadlock-free route arbitrary multiprocessor interconnection networks as follows:

• 1. An algorithm is derived for fixed directory routing on an arbitrary network topology such that messages will be routed via ...

Three critical problems associated with distributed debugging are controlling the debugging process in the absence of a global clock; maintaining transparency so that the debugger does not change the order or timing of events, and reproducing an ...