359 search results - page 34 / 72 » On Complete Primitives for Fairness |
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
ICPPW
2007
IEEE
15 years 7 months ago
2007
IEEE
With the growth in the computation capacity of sensor nodes, they are increasingly equipped to handle more complex functions. Moreover, the need to realize the complete loop of se...
103
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
102
Voted
VR
2007
IEEE
15 years 7 months ago
2007
IEEE
The simulation of fracture leads to collision-intensive situations that call for efficient collision detection algorithms and data structures. Bounding volume hierarchies (BVHs) ...
91
Voted
ASIACRYPT
2005
Springer
15 years 6 months ago
2005
Springer
We consider the problem of hiding sender and receiver of classical and quantum bits (qubits), even if all physical transmissions can be monitored. We present a quantum protocol for...