1087 search results - page 209 / 218 » Achieving Distributed Control through Model Checking |
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—This paper presents a systematic in-depth study on the existence, importance, and application of stable nodes in peerto-peer live video streaming. Using traces from a real large...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
— We present a modular robot design inspired by the creation of complex structures and functions in biology via deformation. Our design is based on the Tensegrity model of cellul...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
In-network aggregation is an essential primitive for performing queries on sensor network data. However, most aggregation algorithms assume that all intermediate nodes are trusted...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
In extraordinary situations, certain individuals may require access to information for which they are not normally authorized. For example, to facilitate rescue of people trapped ...
TC
2008
13 years 7 months ago
2008
Real-time services such as VoIP are becoming popular and are major revenue earners for network service providers. These services are no longer confined to the wired domain and are ...