We discuss the implementation of Rhoda, our Linda-like Tuple Space server which runs under the Helios operating system. The approach analyses and partitions tuple space at compile time in order to reduce the run time ...
In a process control environment, batch processes, as opposed to continuous processes, are characterised by multi-product manufacturing lines producing relatively small quantities which often involves frequent product ...
Recently, there have been various attempts to combine the strengths of
similarity-based learning (SBL) and explanation-based learning (EBL) in a single learning system.
We describe a graph-based learning method called ...
A model checker automatically determines whether a model of a reactive system satisfies its specification.Temporal logic is used to specify the intended behaviour of a reactive system which is modelled as a transition ...
Dijkstra's weakest precondition semantics, as presented in textbook form by Gries, may be viewed as an equational algebra. The problem then is to find a reasonable (set-theoric) model of this algebra. This paper provides one.
In this paper we discuss the problem of finding an upper bound on the genus of a graph. This problem has applications to circuit layouts. An electronic circuit may be modelled by a graph. By punching holes into the circuit ...
There is, as yet, no single formal definition for the object-oriented approach. The object-oriented paradigm is described in terms of the concepts accentuated by the approach, namely classes, objects, methods, messages and ...
The MultiServer centre with Hierarchical Concurrency Constraints
(MSHCC) is an exponential multiserver with a queueing discipline which imposes restrictions on the number of customers of different types and subtypes that ...
A kernel has been developed which can be used to simplify the development of control software. It can be used to control several physical machines which are interconnected via a fast local area network. One or more virtual ...
This paper describes a software development environment currently being built at the University of Natal that provides a powerful and easy to use engineering tool for the design, simulation and implementation of high ...
Statecharts were developed by Harel et al [10] to specify complex reactive systems.
In this paper we report on our application of statecharts as a design and specification
tool for an X-Windows based Graphical User ...
Most statically typed Algol-style languages were designed to conform with the view that a value belongs to one and only one type. The adoption of this view bought compiler simplicity at the expense of language expressivity. ...