4305 search results - page 556 / 861 » Analysing Protocol Implementations |
168
click to vote
SIGMETRICS
2002
ACM
15 years 4 months ago
2002
ACM
Scalable resource discovery services form the core of directory and other middleware services. Scalability requirements preclude centralized solutions. The need to have directory ...
137
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
The weakly pulse-coupled oscillator framework has proven to be a valuable resource for the development of peer-to-peer synchronization algorithms [9]. But leveraging it in a pract...
160
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
169
click to vote
JNW
2008
15 years 3 months ago
2008
The article proposes a simple, scalable and robust scheme for the distribution of revocation information in mobile ad hoc networks (MANETs). The scheme is intended for ad hoc netwo...
171
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
—Wireless mesh networks have been widely deployed to provide broadband network access, and their performance can be significantly improved by using a new technology called netwo...