55 search results - page 3 / 11 » Commitment Machines |
ICMAS
2000
13 years 6 months ago
2000
Brokers are used in many multi-agent systems for locating agents, for routing and sharing information, for managing the system, and for legal purposes, as independent third partie...
DATE
2006
IEEE
13 years 9 months ago
2006
IEEE
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
PPOPP
2009
ACM
14 years 6 months ago
2009
ACM
We have developed a transaction-based approach to distributed shared memory(DSM) that supports object caching and generates path expression prefetches. A path expression specifies...
EDUTAINMENT
2006
Springer
13 years 9 months ago
2006
Springer
This paper considers the potential of Virtual Learning Environments in schools focusing on 2 distinct user groups. Firstly, the children and teachers engaged in the learning situat...
SOSP
2007
ACM
14 years 2 months ago
2007
ACM
We present Zyzzyva, a protocol that uses speculation to reduce the cost and simplify the design of Byzantine fault tolerant state machine replication. In Zyzzyva, replicas respond...