1362 search results - page 137 / 273 » Model Checking Large Network Protocol Implementations |
151
Voted
OPODIS
2000
15 years 4 months ago
2000
We assume a link-register communication model under read/write atomicity, where every process can read from but cannot write into its neighbours' registers. The paper present...
128
click to vote
KDD
2004
ACM
16 years 3 months ago
2004
ACM
Secure multiparty computation allows parties to jointly compute a function of their private inputs without revealing anything but the output. Theoretical results [2] provide a gen...
177
Voted
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Due to its large scale and constrained communication radius, a wireless sensor network mostly relies on multi-hop transmissions to deliver a data packet along a sequence...
138
Voted
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— The capacity problem in wireless mesh networks can be alleviated by equipping the mesh routers with multiple radios tuned to non-overlapping channels. However, channel assignme...
126
Voted
TPDS
2008
15 years 3 months ago
2008
This paper proposes a new methodology to model the distribution of finite size content to a group of users connected through an overlay network. Our methodology describes the distr...