Depending on the amount of data to process, file generation may take longer.

If it takes too long to generate, you can limit the data by, for example, reducing the range of years.

Chapter

Download BibTeX

Title

Safety of recovery protocol preserving MW session guarantee in mobile systems

Authors

[ 1 ] Instytut Informatyki (II), Wydział Informatyki i Zarządzania, Politechnika Poznańska | [ P ] employee

Year of publication

2006

Chapter type

chapter in monograph / paper

Publication language

english

Keywords
EN
  • rollback-recovery
  • safety
  • mobile systems
  • Monotonic Writes session guarantee
Abstract

EN In this paper checkpointing and rollback-recovery protocol rVsMW for mobile systems is presented. The protocol preserves Monotonic Writes session guarantee required by clients, despite failures of servers. The costs of rollback-recovery are minimized, by exploiting semantics of operations and properties of MW guarantee. The proof of safety property of rVsMW is included.

Pages (from - to)

1166 - 1174

DOI

10.1007/11751632_125

URL

https://link.springer.com/chapter/10.1007/11751632_125

Book

Computational science and its applications - ICCSA 2006. International Conference, Glasgow, UK, May 2006, Proceedings, Part IV

Presented on

Computational science and its applications : ICCSA 2006, 8-11.05.2006, Glasgow, United Kingdom

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.