3379 search results - page 389 / 676 » Powers of Two |
184
click to vote
EUROCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...
184
click to vote
CIAC
2010
Springer
15 years 10 months ago
2010
Springer
The study of simple stochastic games (SSGs) was initiated by Condon for analyzing the computational power of randomized space-bounded alternating Turing machines. The game is play...
186
click to vote
ASMTA
2008
Springer
15 years 8 months ago
2008
Springer
Ad hoc network routing protocols may fail to operate in the absence of an end-to-end connection from source to destination. This deficiency can be resolved by so-called delay-toler...
165
click to vote
JLP
2008
15 years 6 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
187
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract-- An information theoretic queueing model is proposed in a wireless multiple access communication setup. The proposed symmetric N user model captures physical layer parame...