1087 search results - page 182 / 218 » Achieving Distributed Control through Model Checking |
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
— This paper presents DONet, a Data-driven Overlay Network for live media streaming. The core operations in DONet are very simple: every node periodically exchanges data availabi...
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
The most popular approaches for reconstructing phylogenetic trees attempt to solve NP-hard optimization criteria such as maximum parsimony (MP). Currently, the bestperforming heur...
P2P
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we take an availability-centric view on quality of service (QoS) and propose a model and mechanisms for studying the effectiveness of realistic replication schemes ...
PCRCW
1997
Springer
14 years 1 months ago
1997
Springer
High performance portable and space-borne systems continue to demand increasing computation speeds while concurrently attempting to satisfy size, weight, and power constraints. As...
VR
2010
IEEE
13 years 8 months ago
2010
IEEE
Collaborative virtual environment has been limited on static or rigid 3D models, due to the difficulties of real-time streaming of large amounts of data that is required to descri...