2468 search results - page 325 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
133
Voted
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
Considering a broad definition for service contracts (beyond web services and software, e.g. airline tickets and insurance policies), we tackle the challenges of building a high ...
142
Voted
CSREASAM
2006
15 years 5 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
122
click to vote
SOFTVIS
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
124
click to vote
USENIX
2003
15 years 5 months ago
2003
We present a novel peer-to-peer backup technique that allows computers connected to the Internet to back up their data cooperatively: Each computer has a set of partner computers,...
134
click to vote
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Networked multi-agent systems are comprised of many autonomous yet interdependent agents situated in a virtual social network. Two examples of such systems are supply cha...