328 search results - page 52 / 66 » Simple Termination Revisited |
221
click to vote
FOSAD
2009
Springer
16 years 5 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
154
click to vote
ICC
2008
IEEE
16 years 1 days ago
2008
IEEE
– According to the commons model of cognitive radio, the activity of secondary (unlicensed) nodes is required to guarantee quality-of-service (QoS) constraints on the transmissio...
172
click to vote
INFOCOM
2008
IEEE
16 years 16 hour ago
2008
IEEE
Abstract—We study the throughput capacity of wireless networks which employ (asynchronous) random-access scheduling as opposed to deterministic scheduling. The central question w...
183
click to vote
INFOCOM
2008
IEEE
16 years 15 hour ago
2008
IEEE
—A new and simple MAC protocol is proposed. Each node transmits a burst with length sampled from a geometric distribution with parameter q followed by a carrier sense slot. A nod...
141
click to vote
IPPS
2008
IEEE
16 years 14 hour ago
2008
IEEE
Peer-to-peer (P2P) systems are slowly moving from application-specific architectures to a generic serviceoriented design framework. The idea is to allow a dynamic collection of P...