Fault tolerance in distributed computing is a wide area with a significant body of literature
that is vastly diverse in methodology and terminology. This paper aims at structuring the …

In 1973 Dijkstra introduced to computer science the notion of self-stabilization in the context
of distributed systems. He defined a system as self-stabilizing when “regardless of its initial …

Requirements engineering is concerned with the elicitation of high-level goals to be
achieved by the envisioned system, the refinement of such goals and their …

Most applications in distributed computing center around a set of common subproblems.
Distributed Systems: An Algorithmic Approach presents the algorithmic issues and …

Present large-scale information technology environments are complex, heterogeneous
compositions often affected by unpredictable behavior and poor manageability. This …

Embedded systems for safety-critical applications often integrate multiple “functions” and
must generally be fault-tolerant. These requirements lead to a need for mechanisms and …

Computer systems are increasingly employed in circumstances where their failure (or even
their correct operation, if they are built to flawed requirements) can have serious …

Collective adaptive systems are an emerging class of networked computational systems
particularly suited for application domains such as smart cities, complex sensor networks …

The thesis proposes a number of techniques for elaborating requirements constructively
from high-level goals. The techniques are based on the KAOS goal-oriented method for …

Grid computing is a type of distributed computing that has shown promising applications in
many fields. A great concern in grid computing is the cheating problem described in the …