13917 search results - page 123 / 2784 » Abstraction of Probabilistic Systems |
HASE
2005
IEEE
15 years 3 months ago
2005
IEEE
CASES
2004
ACM
15 years 3 months ago
2004
ACM
AAMAS
2007
Springer
14 years 10 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...
100
click to vote
SOSP
2001
ACM
15 years 6 months ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...
WADS
1993
Springer
15 years 2 months ago
1993
Springer
Abstract. As a contribution to the recent debate on simple implementations of dictionaries, we present new maintenancealgorithms for balanced trees. In terms of code simplicity, ou...