1087 search results - page 132 / 218 » Achieving Distributed Control through Model Checking |
NOSSDAV
2009
Springer
14 years 3 months ago
2009
Springer
This article proposes a new distributed architecture for update message exchange in massively multi-user virtual environments (MMVE). MMVE applications require delivery of updates...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—A key technology in cooperative communications is distributed space-time coding (DSTC) which achieves spatial diversity gain from multiple relays. A novel DSTC, called randomize...
ICDCSW
2008
IEEE
14 years 3 months ago
2008
IEEE
We present an early vision of a cyber-physical environment in which computer controlled rendering of physical surfaces, terrains, and environments is achieved by manipulating grid...
SECON
2007
IEEE
14 years 3 months ago
2007
IEEE
—We consider surveillance applications in which sensors are deployed in large numbers to improve coverage fidelity. Previous research has studied how to select active sensor cov...
IWDC
2005
Springer
14 years 2 months ago
2005
Springer
Peer-to-peer systems and applications are distributed systems without any centralized control. P2P systems form the basis of several applications, such as file sharing systems and ...