269 search results - page 22 / 54 » Efficient Decentralized Monitoring of Safety in Distributed ... |
151
click to vote
STOC
2001
ACM
16 years 6 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...
183
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
212
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Distributed Role-Based Access Control (dRBAC) is a scalable, decentralized trust-management and accesscontrol mechanism for systems that span multiple administrative domains. dRBA...
150
click to vote
ICDCN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We define geometric self-structuring in a large-scale networked system as the ability of the participating nodes to collaboratively impose a geometric structure to the ne...
267
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Data availability, collection and storage have increased dramatically in recent years, raising new technological and algorithmic challenges for database design and data management...