1134 search results - page 78 / 227 » Distributed Proving in Access-Control Systems |
162
click to vote
ICC
2007
IEEE
16 years 15 days ago
2007
IEEE
—Opportunistic scheduling in random beamforming maximizes the sum-rate by allocating resources to the users with the best channel condition, thus leveraging on multiuser diversit...
137
click to vote
ICDCS
2007
IEEE
16 years 14 days ago
2007
IEEE
Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with...
177
click to vote
P2P
2006
IEEE
16 years 5 days ago
2006
IEEE
To achieve higher efficiency over their unstructured counterparts, structured peer-to-peer systems hold each node responsible for serving a specified set of keys and correctly r...
157
click to vote
FORTE
2007
15 years 7 months ago
2007
Bisimulation semantics are a very pleasant way to define the semantics of systems, mainly because the simplicity of their definitions and their nice coalgebraic properties. Howev...
151
click to vote
STOC
2001
ACM
16 years 6 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...