1087 search results - page 170 / 218 » Achieving Distributed Control through Model Checking |
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper, we show through detailed simulations that BitTorrent can be used to assist a server or content distribution network (CDN) for large-scale streaming delivery. Speciļ...
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstractā In this paper, we consider the problem of detecting intrusions initiated by cooperative malicious nodes in infrastructure-based networks. We achieve this objective by s...
ICDCSW
2006
IEEE
14 years 3 months ago
2006
IEEE
To ensure decoupling between publishers and subscribers, most publish-subscribe systems route notiļ¬cations through intermediate message brokers. A byproduct of this practice is ...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents preliminary efforts to develop compilation and execution environments that achieve performance portability of multilevel parallelization on hierarchical archit...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
With the increasing importance of energy consumption considerations and new requirements of emerging applications, in-network processing of information gains recognition as a viab...