Modern distributed systems often allow independent development of their components. Successful evolution of such systems depends on the flexibility of component interfaces. This p...
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
In this paper, we describe and evaluate a scalable network of Active Elements (AE) that implements userempowered virtual-multicast overlay network for synchronous data distributio...
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...
Database replication protocols have historically been built on top of distributed database systems, and have consequently been designed and implemented using distributed transacti...