Sciweavers

3052 search results - page 23 / 611
» Weakly Distributive Domains
Sort
View
DC
1999
14 years 9 months ago
A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector
or fault-tolerant asynchronous systems. It abstracts a family of problems known as Agreement (or Coordination) problems. Any solution to consensus can serve as a basic building blo...
Michel Hurfin, Michel Raynal
ICDCS
1995
IEEE
15 years 1 months ago
Maintaining Consistency of Data in Mobile Distributed Environments
To deal with the frequent, foreseeable and variable disconnections that occur in a mobile environment, we introduce a exible, two-level consistency model. Semantically related or ...
Evaggelia Pitoura, Bharat K. Bhargava
APAL
2007
77views more  APAL 2007»
14 years 9 months ago
The hyper-weak distributive law and a related game in Boolean algebras
We discuss the relationship between various weak distributive laws and games in Boolean algebras. In the first part we give some game characterizations for certain forms of Prikr...
James Cummings, Natasha Dobrinen
CONCUR
2005
Springer
15 years 3 months ago
Transactions in RCCS
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtr...
Vincent Danos, Jean Krivine
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
15 years 2 months ago
A moving horizon scheme for distributed state estimation
— This paper presents a novel distributed estimation algorithm based on the concept of moving horizon estimation. Under weak observability conditions we prove convergence of the ...
Marcello Farina, Giancarlo Ferrari-Trecate, Riccar...