1134 search results - page 165 / 227 » Distributed Proving in Access-Control Systems |
148
click to vote
FSTTCS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
149
click to vote
SSS
2007
Springer
16 years 7 days ago
2007
Springer
In [Dij74] Dijkstra introduced the notion of self-stabilizing algorithms, and presented three such algorithms for the problem of mutual exclusion on a ring of processors. The thir...
126
click to vote
ICDCSW
2006
IEEE
16 years 5 days ago
2006
IEEE
Reputation-based mechanisms and policies are vulnerable to the submission of untruthful ratings. In this paper, we define and analyze a game-theoretic model that captures the dyn...
122
click to vote
ICRA
2006
IEEE
16 years 5 days ago
2006
IEEE
— Current approaches to distributed control involving many robots generally restrict interactions to pairs of robots within a threshold distance. While this allows for provable s...
181
click to vote
SKG
2005
IEEE
15 years 11 months ago
2005
IEEE
: Fuzzy Cognitive Maps (FCMs) can represent and reason causal knowledge with stronger semantics. And the causal knowledge widely exists in Knowledge Grid. To provide information se...