Mobile and other loosely-coupled environments call for decentralized optimistic replication protocols that provide highly available access to shared objects, while ensuring eventual convergence towards a strongly consistent state. In this paper we propose a novel epidemic weighted voting protocol for achieving such goal. Epidemic weighted voting approaches eliminate the single point of failure ...

In this work, the problem of detecting and tracking targets with synthetic aperture radars is considered. A novel approach in which prior knowledge on target motion is assumed to be known for small patches within the field of view. Probability densities are derived as priors on the moving target signature within backprojected SAR images, based on the work of Jao. Furthermore, detection and trac...

Track-before-detect methods operate directly upon raw sensor signals without a separate, explicit detection stage. An efficient implementation of a Bayesian track-before-detect particle filter is described for tracking of a single target in a sequence of images. The filter provides a sample based approximation to the distribution of the target state directly from pixel array data. The filter al...

Consider an asynchronous system consisting of processes that communicate via message-passing.The processes communicate over a potentially incomplete communication network consisting of reli-able bidirectional communication channels. Thus, not every pair of processes is necessarily able tocommunicate with each other directly.The goal of the algorithms discussed in this paper ...

Context-consistency checking is challenging in the dynamic and uncertain ubiquitous computing environments. This is because contexts are often noisy owing to unreliable sensing data streams, inaccurate data measurement, fragile connectivity and resource constraints. One of the state-of-the-art efforts is CEDA, which concurrently detects context consistency by exploring the happened-before relat...

0

A causal distributed breakpoint is Initiated by a seq 'ential breakpoint in one process of a distributed computation, and rlstores each process in the computation to its earliest state that reflects all events that happened before' the breakpoint. A causal distributed breakpoint is the natural extension for distributed programs of the conventional notion of a breakpoint in a sequential program....

TBD Plenary Speech 2: Mobile Device-to-Device Video Distribution: Theory and Application Speaker: Prof. Liang Zhou, Nanjing University of Posts and Telecommunications, China Time: Monday Morning, September 26, 2016 Location: Tongji Room(通济厅), 3rd Floor, Ramada Xi'an Bell Tower Abstract As the video traffic has dominated the data flow of smartphones, traditional cellular communication faces subs...

A logical model of spatiotemporal structures is pictured as a succession of processes in time. One usual way to formalize time structure is to assume the global existence of time points and then collect some of them to form time intervals of processes. Under this set-theoretic approach, the logic that governs the processes acquires a Boolean structure. However, in a real distributed system or a...