One might expect the reliability of a distributed system to correspond directly to the reliability
of its constituents, but this is not always the case. The mechanisms used to structure a …

Online monitoring can complement formal techniques to increase application dependability.
The article outlines the concepts and identifies the activities that comprise event based …

Separating management policy from the automated managers which interpret the policy
facilitates the dynamic change of behavior of a distributed management system. This permits …

Event-based monitoring is critical for managing and debugging networks and distributed
systems. This paper presents GEM-an interpreted generalized event monitoring language. It …

It is suggested that a functional model of monitoring in terms of the generation, processing,
dissemination, and presentation of information can help determine the facilities needed to …

Trends in networking and distributed computing are creating a new generation of
applications that must adapt as the environment within which they execute changes …

Agreement on the membership of a group of processes in a distributed system is a basic
problem that arises in a wide range of applications. Such groups occur when a set of …

Darwin is a configuration language which allows distributed and parallel programs to be
structured in terms of groups of process instances which communicate by message-passing …

Mobile applications are required to operate in environments characterised by change. More
specifically, the availability of resources and services may change significantly during a …

This paper examines algorithms for detecting when a property Φ holds during the execution
of a distributed system. The properties we consider are expressed over the state of the …