1087 search results - page 131 / 218 » Achieving Distributed Control through Model Checking |
TSMC
2008
13 years 9 months ago
2008
Abstract--The paper proposes an approach to content dissemination that exploits the structural properties of an Extensible Markup Language (XML) document object model in order to p...
CCS
2004
ACM
14 years 2 months ago
2004
ACM
We examine the problem of providing useful feedback about access control decisions to users while controlling the disclosure of the system’s security policies. Relevant feedback...
DSN
2004
IEEE
14 years 29 days ago
2004
IEEE
Some safety-critical distributed embedded systems may need to use centralized components to achieve certain dependability properties. The difficulty in combining centralized and d...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Many planning approaches adhere to the twotiered architecture consisting of a long-range, low fidelity global planner and a short-range high fidelity local planner. W...
ISPA
2005
Springer
14 years 2 months ago
2005
Springer
The way conventional Ethernet is used today differs in two aspects from how dedicated system area networks are used. Firstly, dedicated system area networks are lossless and only d...