1362 search results - page 79 / 273 » Model Checking Large Network Protocol Implementations |
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Recently, the publish-subscribe communication model has attracted the attention of developers as a viable alternative to traditional communication schemas, like request/reply, for...
137
Voted
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
161
Voted
LCN
2008
IEEE
15 years 10 months ago
2008
IEEE
—Carrier Sense Multiple Access (CSMA) protocols in Multi-hop Wireless Networks (MHWN) are known to suffer from different forms of the hidden and exposed terminal problems, leadin...
156
click to vote
PERCOM
2011
ACM
14 years 7 months ago
2011
ACM
—In this paper, we propose P3 -coupon, a Prompt and Privacy-preserving electronic coupon distribution system based on a Probabilistic one-ownership forwarding algorithm. In this ...
128
click to vote
ADHOC
2008
15 years 4 months ago
2008
In this paper we present a novel probabilistic protocol for path discovery in Mobile Ad Hoc Networks (MANETs). The protocol implements what we call a polarized gossiping algorithm...