8499 search results - page 52 / 1700 » cans 2009 |
PODC
2009
ACM
14 years 11 months ago
2009
ACM
We introduce a class of Paxos algorithms called Vertical Paxos, in which reconfiguration can occur in the middle of reaching agreement on an individual state-machine command. Vert...
TCC
2009
Springer
14 years 11 months ago
2009
Springer
Predicate encryption is a new encryption paradigm which gives a master secret key owner fine-grained control over access to encrypted data. The master secret key owner can generat...
ICDCS
2009
IEEE
14 years 8 months ago
2009
IEEE
This paper investigates under which conditions information can be reliably shared and consensus can be solved in unknown and anonymous message-passing networks that suffer from cr...
PEPM
2009
ACM
14 years 8 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
CICLING
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. In many contexts today, documents are available in a number of versions. In addition to explicit knowledge that can be queried/searched in documents, these documents also...