1124 search results - page 33 / 225 » Refined quorum systems |
CHARME
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
141
click to vote
SGP
2007
15 years 4 months ago
2007
We present two new Delaunay refinement algorithms, second an extension of the first. For a given input domain (a set of points or a planar straight line graph), and a threshold an...
103
click to vote
DICS
2006
15 years 3 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
102
click to vote
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system compo...
102
click to vote
POLICY
2005
Springer
15 years 7 months ago
2005
Springer
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...