1124 search results - page 11 / 225 » Refined quorum systems |
PODC
1987
ACM
15 years 5 months ago
1987
ACM
119
click to vote
ENTCS
2008
15 years 1 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...
73
Voted
SASO
2009
IEEE
15 years 8 months ago
2009
IEEE
107
Voted
MPC
1995
Springer
15 years 5 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...
130
Voted
ENTCS
2010
14 years 11 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...