1362 search results - page 60 / 273 » Model Checking Large Network Protocol Implementations |
131
Voted
ESOA
2006
15 years 7 months ago
2006
We present a simple model of self-organization for sensor networks that addresses two conflicting requirements: hazard situations should be reported to a sink node with as little ...
155
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Despite recent excitement generated by the peer-to-peer (P2P) paradigm and the surprisingly rapid deployment of some P2P applications, there are few quantitative evaluations of P2...
163
click to vote
BIOWIRE
2007
Springer
15 years 8 months ago
2007
Springer
Chemical computing models have been proposed since the 1980ies for expressing concurrent computations in elegant ways for shared memory systems. In this paper we look at the distri...
134
Voted
BROADNETS
2006
IEEE
15 years 10 months ago
2006
IEEE
— The nature of Grid and distributed computing implies communication between heterogeneous systems over a wide and ever-changing variety of network environments. Often large amou...
153
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--We investigate an abstraction method, called meanfield method, for the performance evaluation of dynamic networks with pairwise communication between nodes. It allows us ...