1124 search results - page 11 / 225 » Refined quorum systems |
PODC
1987
ACM
15 years 9 months ago
1987
ACM
163
click to vote
ENTCS
2008
15 years 6 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
153
click to vote
MPC
1995
Springer
15 years 9 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
171
click to vote
ENTCS
2010
15 years 3 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...