5084 search results - page 744 / 1017 » Proving Possibility Properties |
163
click to vote
ICDCS
2005
IEEE
16 years 1 months ago
2005
IEEE
We prove two theorems saying that no distributed system in which processes coordinate using reliable registers and -resilient services can solve the consensus problem in the prese...
221
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
181
click to vote
CRYPTO
2005
Springer
16 years 29 days ago
2005
Springer
The Full-Domain Hash (FDH) signature scheme [3] forms one the most basic usages of random oracles. It works with a family F of trapdoor permutations (TDP), where the signature of m...
212
click to vote
IPSN
2005
Springer
16 years 28 days ago
2005
Springer
We address the problem of selecting sensors so as to minimize the error in estimating the position of a target. We consider a generic sensor model where the measurements can be in...
201
click to vote
TCC
2005
Springer
16 years 27 days ago
2005
Springer
Weighted threshold secret sharing was introduced by Shamir in his seminal work on secret sharing. In such settings, there is a set of users where each user is assigned a positive w...