403 search results - page 30 / 81 » An algebra for commitment protocols |
133
click to vote
ACOM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
SRDS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper discusses the implementation and performance of bounded voting: a new object replication protocol designed for use in mobile and weakly-connected environments. We show ...
ESORICS
2009
Springer
16 years 12 days ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
NCA
2006
IEEE
15 years 5 months ago
2006
IEEE
The paper presents a primary-backup protocol to manage replicated in-memory database systems (IMDBs). The protocol exploits two features of IMDBs: coarse-grain concurrency control...
119
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Multi-hop routing is essential to the operation of wireless ad hoc networks. Unfortunately, it is very easy for an adversary to forge or modify routing messages to inflict severe ...