5470 search results - page 326 / 1094 » Distributed Control Lab |
143
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
158
click to vote
JAIR
2010
15 years 3 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
168
click to vote
XMLSEC
2003
ACM
15 years 10 months ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...
126
click to vote
NSDI
2007
15 years 7 months ago
2007
We present Tesseract, an experimental system that enables the direct control of a computer network that is under a single administrative domain. Tesseract’s design is based on t...
169
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....