Safety-critical computers increasingly affect nearly every aspect of our lives. Computers
control the planes we fly on, monitor our health in hospitals and do our work in hazardous …

This paper presents a method for qualitative and quantitative analysis of load sharing
algorithms, using a number of well known examples as illustration. Algorithm design choices …

Gerel is a generic reconfiguration language, which can be used to describe and implement
dynamically reconfigurable distributed applications. Gerel is based on a powerful object …

The popularity of the object-oriented programming paradigm has stimulated research into its
use for parallel and distributed programming. The major issues that affect such use are …

Monitoring is an essential means for obtaining the information required about the
components of a distributed system in order to make management decisions and …

Distributed systems are constructed from a set of computational components which are
bound together to interact and communicate to achieve some over all objective. In this …

The OBSERV methodology for software development is based on rapid construction of an
executable specification, or prototype, of a systems, which may be examined and modified …

Object-oriented computing is now an established technology for software development.
However, a number of challenges must be met before the topic can claim to be fully mature …

The importance of using languages to specify the structure of a system as a set of
components and their interconnections separately from the functional description of the …

The use of dataflow-like models for the in-the-large design of real-time applications is
discussed. In these models, modules can only communicate by (asynchronously) receiving …