1643 search results - page 63 / 329 » Consistability: Describing Usually Consistent Systems |
SOFSEM
2010
Springer
14 years 7 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
108
click to vote
ICADL
2003
Springer
15 years 3 months ago
2003
Springer
A digital library system consists of LVS(Linux Virtual Server) operating with software clustering technology provides is designed on Linux environment. In the cluster of servers fa...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...
91
Voted
DSN
2008
IEEE
14 years 11 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...
SOCA
2007
IEEE
15 years 4 months ago
2007
IEEE
European energy supply companies typically run a conglomerate of different, geographically distributed power plants. Unfortunately, the corresponding power plant control systems a...