1643 search results - page 63 / 329 » Consistability: Describing Usually Consistent Systems |
122
click to vote
SOFSEM
2010
Springer
15 years 1 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...
158
click to vote
ICADL
2003
Springer
15 years 9 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...
124
Voted
ATAL
2005
Springer
15 years 9 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...
145
Voted
DSN
2008
IEEE
15 years 5 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...
114
click to vote
SOCA
2007
IEEE
15 years 10 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...