246 search results - page 28 / 50 » A Proof System for Asynchronously Communicating Deterministi... |
HICSS
2003
IEEE
14 years 27 days ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
NOMS
2010
IEEE
13 years 6 months ago
2010
IEEE
—While the polling or request/response paradigm adopted by many network and systems management approaches form the backbone of modern monitoring and management systems, the most ...
ISTCS
1992
Springer
13 years 11 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
POPL
1999
ACM
13 years 12 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
DSN
2006
IEEE
14 years 1 months ago
2006
IEEE
In the asynchronous distributed system model, consensus is obtained in one communication step if all processes propose the same value. Assuming f < n/3, this is regardless of t...