Abstract—Replication is a well-established approach to increasing database availability. Many database replication protocols have been proposed for the crash-stop failure model, ...
In Mobile Ad Hoc Networks (MANETs), each node has the capacity to act as a router. The performance of the MANET relies on how well the nodes perform this function. In simulations,...
This paper develops a connection establishment framework for protecting connections against single-link failures using link protection at the granularity of a connection, referred...
We discuss requirements surrounding a mobile navigation system for visually impaired people. We describe an initial prototype based on a PDA using GPS location tracking. This proto...
David K. McGookin, Maya Gibbs, Annu-Maaria Nivala,...
We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes ...