12 search results - page 3 / 3 » Unreliable Failure Detectors via Operational Semantics |
SIGMETRICS
2002
ACM
13 years 5 months ago
2002
ACM
We demonstrate a framework for improving the availability of cluster based Internet services. Our approach models Internet services as a collection of interconnected components, e...
FAC
2008
13 years 6 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...