1087 search results - page 9 / 218 » Achieving Distributed Control through Model Checking |
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
IPPS
1999
IEEE
14 years 22 min ago
1999
IEEE
Predictable network computing still involves a number of open questions. One such question is providing a controlled amount of CPU time to distributed processes. Mechanisms to cont...
CP
2003
Springer
14 years 28 days ago
2003
Springer
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...
CSFW
2007
IEEE
14 years 2 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
FC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...