Sciweavers

13917 search results - page 123 / 2784
» Abstraction of Probabilistic Systems
Sort
View
HASE
2005
IEEE
16 years 14 days ago
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels
Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario D...
CASES
2004
ACM
16 years 9 days ago
Modular design through component abstraction
David Berner, Jean-Pierre Talpin, Paul Le Guernic,...
AAMAS
2007
Springer
15 years 7 months ago
Local strategy learning in networked multi-agent team formation
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...
Blazej Bulka, Matthew E. Gaston, Marie desJardins
SOSP
2001
ACM
16 years 3 months ago
BASE: Using Abstraction to Improve Fault Tolerance
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...
Rodrigo Rodrigues, Miguel Castro, Barbara Liskov
WADS
1993
Springer
136views Algorithms» more  WADS 1993»
15 years 11 months ago
Balanced Search Trees Made Simple
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...
Arne Andersson