1087 search results - page 54 / 218 » Achieving Distributed Control through Model Checking |
DFMA
2005
IEEE
14 years 1 months ago
2005
IEEE
As various multimedia communication services are increasingly required by Internet users, several signaling protocols have been proposed for the efficient control of multimedia co...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract— The paper investigates theoretical issues in applying the universal swarming technique to efficient content distribution. In a swarming session, a file is distributed...
CVPR
2009
IEEE
15 years 2 days ago
2009
IEEE
Central to many problems in scene understanding based on using a network of tens, hundreds or even thousands of randomly distributed cameras with on-board processing and wireless c...
JIPS
2010
13 years 2 months ago
2010
Communication devices aim to provide a multimedia service without spatial or temporal limitations in an IP-based environment. However, it is incapable of allowing for fair use by c...
RAS
2007
13 years 7 months ago
2007
The challenges of robotics have led the researchers to develop control architectures composed of distributed, independent and asynchronous behaviors. One way to approach decentral...