1124 search results - page 17 / 225 » Refined quorum systems |
148
Voted
CORR
2012
Springer
13 years 9 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
116
click to vote
ICTAI
1997
IEEE
15 years 5 months ago
1997
IEEE
Knowledge refinement tools have commonly been applied to diagnostic applications. This paper considers the refinement of a design application. It explores the differences in knowl...
125
click to vote
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
ISPDC
2006
IEEE
15 years 8 months ago
2006
IEEE
Data replication permits a better network bandwidth utilization and minimizes the effect of latency in large-scale systems such as computing grids. However, the cost of maintainin...
111
Voted
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
A Federated Array of Bricks is a scalable distributed storage system composed from inexpensive storage bricks. It achieves high reliability with low cost by using erasure coding a...