1362 search results - page 106 / 273 » Model Checking Large Network Protocol Implementations |
139
Voted
EWSN
2006
Springer
16 years 3 months ago
2006
Springer
Time synchronization is a crucial component of a large class of sensor network applications, traditionally implemented as a standalone middleware service that provides a virtual gl...
134
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Beaconing is a primitive communication task in which every node locally broadcasts a packet to all its neighbors within a fixed distance. Assume that all communications proceed...
132
Voted
SAINT
2003
IEEE
15 years 9 months ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
132
Voted
MOBIHOC
2001
ACM
16 years 3 months ago
2001
ACM
This paper presents 7DS, a novel peer-to-peer data sharing system. 7DS is an architecture, a set of protocols and an implementation enabling the exchange of data among peers that ...
126
Voted
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Heterogeneous users usually have different requirements as far as consistency of shared data is concerned. This paper proposes and investigates a mixed consistency model to meet t...