1362 search results - page 68 / 273 » Model Checking Large Network Protocol Implementations |
134
Voted
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
We consider a near future scenario in which users of a Web 2.0 application, such as a social network, contribute to the application not only data, but also rules which automatical...
131
click to vote
SENSYS
2004
ACM
15 years 9 months ago
2004
ACM
To support network programming, we present Deluge, a reliable data dissemination protocol for propagating large data objects from one or more source nodes to many other nodes over...
135
click to vote
WEBDB
2010
Springer
15 years 9 months ago
2010
Springer
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
140
click to vote
JNW
2008
15 years 4 months ago
2008
The performance of any cellular wireless network, as well as its revenue (number of customers using the network, and their degree of satisfaction) is determined to a great extent b...
132
click to vote
DCOSS
2010
Springer
15 years 4 months ago
2010
Springer
In this work, we present a robust sensor fusion system for exploratory data collection, exploiting the spatial redundancy in sensor networks. Unlike prior work, our system design c...