149 search results - page 1 / 30 » Experiences with formal specification of fault-tolerant file... |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
ICDCSW
2006
IEEE
13 years 10 months ago
2006
IEEE
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
EUROMICRO
1996
IEEE
13 years 8 months ago
1996
IEEE
Replication is a key strategy for improving locality, fault tolerance and availability in distributed systems. The paper focuses on distributed file systems and presents a system ...
RISE
2005
Springer
13 years 9 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
DSN
2008
IEEE
13 years 6 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...