1362 search results - page 62 / 273 » Model Checking Large Network Protocol Implementations |
161
click to vote
JIPS
2008
15 years 4 months ago
2008
: In this paper, we discuss a novel reservation-based, asynchronous MAC protocol called `Multi-rate Multi-hop MAC Protocol' (MMMP) for multi-hop ad hoc networks that provides ...
168
click to vote
DASFAA
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. Fine-grained lock protocols with lock modes and lock granules adjusted to the various XML processing models, allow for highly concurrent transaction processing on XML tre...
158
click to vote
IPCCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Sensor networks are composed of a large number of low power sensor devices. For secure communication among sensors, secret keys must be established between them. The establishment...
134
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Epidemic protocols have demonstrated remarkable scalability and robustness in disseminating information on internet-scale, dynamic P2P systems. However, popular instances...
163
click to vote
AAMAS
2004
Springer
15 years 4 months ago
2004
Springer
ACT Supporting mobility in a multi hop wireless environment like the MANET still remains a point of research, especially in the context of time-constrained applications. The incapa...