403 search results - page 3 / 81 » An algebra for commitment protocols |
ATAL
2001
Springer
13 years 10 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
ATAL
2007
Springer
14 years 5 days ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
RTSS
1996
IEEE
13 years 10 months ago
1996
IEEE
W e investigate here the performance implications of supporting transaction atomicity in a distributed realtime database system. Using a detailed simulation model of a firm-deadli...
TKDE
2002
13 years 5 months ago
2002
This paper describes the presumed-either two-phase commit protocol. Presumed-either exploits log piggybacking to reduce the cost of committing transactions. If timely piggybacking ...
ASIACRYPT
2010
Springer
13 years 4 months ago
2010
Springer
We introduce and formally define polynomial commitment schemes, and provide two efficient constructions. A polynomial commitment scheme allows a committer to commit to a polynomial...