Quorum systems are well-known tools for ensuring the consistency and availability of
replicated data despite the benign failure of data repositories. In this paper we consider the …

Power-saving is a critical issue for almost all kinds of portable devices. In this paper, we
consider the design of power-saving protocols for mobile ad hoc networks (MANETs) that …

Contemporary literature is overflowing with technical terms defining various aspects of
computer-supported cooperative work. In the following chapter, we will introduce these …

Distributed Algorithms for Message-Passing Systems Page 1 Michel Raynal Distributed Algorithms
for Message-Passing Systems Page 2 Distributed Algorithms for Message-Passing Systems Page …

This text is based on a simple and fully reactive computational model that allows for intuitive
comprehension and logical designs. The principles and techniques presented can be …

A distributed mobility management scheme using a class of uniform quorum systems (UQS)
is proposed for ad hoc networks. In the proposed scheme, location databases are stored in …

Given an undirected graph representing a network of processors, and a source node
containing a message that must be broadcast to all the nodes, find a scheme that …

Quorum Bystems are well-known tools for ensuring the consistency and availability of
replicated data despite the benign failure of data repositones. In this paper we consider the …

Services replicated using a quorum Bystem allow operations to be performed at only a
subset (quorum) of the servers, and ensure consistency among operatiom by requiring that …

A quorum system is a collection of sets (quorums) every two of which intersect. Quorum
systems have been used for many applications in the area of distributed systems, including …