3628 search results - page 396 / 726 » The Decision Diffie-Hellman Problem |
150
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
: The Borowsky-Gafni (BG) simulation algorithm is a powerful tool that allows a set of t + 1 asynchronous sequential processes to wait-free simulate (i.e., despite the crash of up ...
206
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
We design an encryption scheme called Multi-dimensional Range Query over Encrypted Data (MRQED), to address the privacy concerns related to the sharing of network audit logs and v...
192
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are a popular approach for modeling multi-agent systems acting in uncertain domains. Given the signi...
196
click to vote
MDAI
2007
Springer
16 years 27 days ago
2007
Springer
We take institutions seriously as both a rational response to dilemmas in which agents found themselves and a frame to which later rational agents adapted their behaviour in turn....
207
Voted
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...