24554 search results - page 210 / 4911 » Dependable distributed systems |
250
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
A reparable database management system has the ability to automatically undo the set of transactions that are corrupted by a human error or malicious attack. The key technical chal...
154
click to vote
NSDI
2004
15 years 7 months ago
2004
We have developed SWAP, a system that automatically detects process dependencies and accounts for such dependencies in scheduling. SWAP uses system call history to determine possi...
283
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
169
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
160
click to vote
STAIRS
2008
15 years 7 months ago
2008
Social networks are structures that aim to represent the relationships among the actors of a society. In the multiagent model, these networks depict the dependencies among the agen...