1124 search results - page 23 / 225 » Refined quorum systems |
128
click to vote
EUROSYS
2011
ACM
14 years 5 months ago
2011
ACM
The increasing popularity of cloud storage services has lead companies that handle critical data to think about using these services for their storage needs. Medical record databa...
121
click to vote
ENTCS
2008
15 years 1 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
105
click to vote
ENTCS
2008
15 years 1 months ago
2008
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...
119
click to vote
EDCC
2008
Springer
15 years 3 months ago
2008
Springer
The paper puts forward the idea of using fault tolerance refinement patterns to assist system developers in disciplined application of software fault tolerance mechanisms in rigor...
100
Voted
ADCM
2010
15 years 2 months ago
2010
We present a new family of compactly supported and symmetric biorthogonal wavelet systems, which extend and unify the Biorthogonal Coifman wavelet system. The refinement mask has ...