403 search results - page 18 / 81 » An algebra for commitment protocols |
IAT
2006
IEEE
15 years 5 months ago
2006
IEEE
A key property of agents is that they are social, and hence the design of agent interactions is a crucial part of an agentoriented software engineering methodology. Agent interact...
WADT
1999
Springer
15 years 4 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
OSDI
2008
ACM
16 years 2 days ago
2008
ACM
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...
120
click to vote
AFRICACRYPT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a simple zero-knowledge proof of knowledge protocol of which many protocols in the literature are instantiations. These include Schnorr’s protocol for provin...
EUROPAR
1998
Springer
15 years 4 months ago
1998
Springer
Database replication protocols have historically been built on top of distributed database systems, and have consequently been designed and implemented using distributed transacti...