1087 search results - page 51 / 218 » Achieving Distributed Control through Model Checking |
MM
2005
ACM
14 years 1 months ago
2005
ACM
Organum Playtest is an interactive installation in which three players collaboratively navigate through a model of the human voice box, using their voices as a joystick. By asking...
CAISE
2001
Springer
14 years 10 days ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— This paper theoretically analyzes cross-layer optimized design of transmit power allocation in distributed interference-limited wireless networks with asynchronously ac...
SGAI
2004
Springer
14 years 1 months ago
2004
Springer
The requirement for Grid middleware to be largely transparent to individual users and at the same time act in accordance with their personal needs is a difficult challenge. In e-...
SIGMETRICS
2010
ACM
13 years 8 months ago
2010
ACM
This paper addresses the problem of distributed resource allocation in general fork and join processing networks. The problem is motivated by the complicated processing requiremen...