1362 search results - page 144 / 273 » Model Checking Large Network Protocol Implementations |
132
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—In this paper, we consider routing in multi-hop wireless mesh networks. We analyze three standardized and commonly deployed routing mechanisms that we term “nodepair discovery...
134
Voted
LCN
2008
IEEE
15 years 9 months ago
2008
IEEE
— FrameComm is a contention based, Duty Cycled, MAC protocol that ensures a message will be transmitted during the receiver’s listen phase by sending a packet, followed by a sh...
131
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
Privacy-preserving protocols allow multiple parties with private inputs to perform joint computation while preserving the privacy of their respective inputs. An important cryptogr...
152
Voted
AP2PS
2009
IEEE
15 years 6 months ago
2009
IEEE
—P2P computing platforms are subject to a wide range of attacks. In this paper, we propose a generalisation of the previous disk-less checkpointing approach for fault-tolerance i...
154
Voted
PADS
2009
ACM
15 years 10 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...