Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
Data replication by employing quorum systems is an important concept to improve operation availability on data objects in distributed systems that have strong data consistency demands. These data replication schemes must be modeled and carefully evaluated with respect to different quality measures....
Κύριος συγγραφέας: | Storm, Christian (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Wiesbaden :
Vieweg+Teubner Verlag,
2012.
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Domain-Specific Model-Driven Testing
ανά: Baerisch, Stefan
Έκδοση: (2010) -
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach /
ανά: Montali, Marco
Έκδοση: (2010) -
Specification of Software Systems
ανά: Alagar, V.S, κ.ά.
Έκδοση: (2011) -
Logics of Specification Languages
Έκδοση: (2008) -
Specification and Verification of Multi-agent Systems
Έκδοση: (2010)