Session guarantees are used to manage replica consistency of a distributed system from the client perspective. This paper defines formally the guarantees, presents and proves safe...
Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyn...
Professional software developers use version control systems to coordinate their work, and to provide an unwindable history of their project’s evolution. In contrast, students i...
An Internet transaction is a transaction that involves communication over the Internet using standard Internet protocols such as HTTPS. Such transactions are widely used in Intern...
This work presents a synchronous collaborative graphical editor that implements a proposal of an awareness mechanism of a collaborative artifact evolution. The graphical editor all...
Alexandre Pereira Meire, Marcos R. S. Borges, Rena...
In this paper we propose to apply hierarchical graphs to indoor navigation. The intended purpose is to guide humans in large public buildings and assist them in wayfinding. We sta...