1445 search results - page 99 / 289 » Properties of state spaces and their applications |
163
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
166
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
257
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
183
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
— The Internet has witnessed a rapid growth in deployment of Web-based streaming applications during recent years. In these applications, server should be able to perform end-to-...
158
click to vote
TC
2008
15 years 6 months ago
2008
Network structure construction and global state maintenance are expensive in large-scale, dynamic peer-to-peer (p2p) networks. With inherent topology independence and low state mai...