5084 search results - page 744 / 1017 » Proving Possibility Properties |
139
click to vote
ICDCS
2005
IEEE
16 years 8 days 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...
196
click to vote
ATAL
2005
Springer
16 years 6 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 ...
157
click to vote
CRYPTO
2005
Springer
16 years 6 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...
175
click to vote
IPSN
2005
Springer
16 years 5 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...
177
click to vote
TCC
2005
Springer
16 years 4 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...