Reliable communication in the presence of failures
ACM Transactions on Computer Systems (TOCS)
Consistent detection of global predicates
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Temporal interactions of intervals in distributed systems
Journal of Computer and System Sciences
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
Global predicates in rough real time
SPDP '95 Proceedings of the 7th IEEE Symposium on Parallel and Distributeed Processing
Inconsistency detection and resolution for context-aware middleware support
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Causality-Based Predicate Detection across Space and Time
IEEE Transactions on Computers
Managing Quality of Context in Pervasive Computing
QSIC '06 Proceedings of the Sixth International Conference on Quality Software
Temporal Predicate Detection Using Synchronized Clocks
IEEE Transactions on Computers
An Autonomic Context Management System for Pervasive Computing
PERCOM '08 Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications
Distributed Computing: Principles, Algorithms, and Systems
Distributed Computing: Principles, Algorithms, and Systems
A Space and Time Requirements Logic for Sensor Networks
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Concurrent Event Detection for Asynchronous consistency checking of pervasive context
PERCOM '09 Proceedings of the 2009 IEEE International Conference on Pervasive Computing and Communications
Event ordering in pervasive sensor networks
PERCOM '09 Proceedings of the 2009 IEEE International Conference on Pervasive Computing and Communications
Middleware clocks for sensing the physical world
Proceedings of the 5th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks
Middleware clocks for sensing the physical world
Proceedings of the 5th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks
Immediate detection of predicates in pervasive environments
Journal of Parallel and Distributed Computing
| Hi-index | 0.00 |
An important problem in pervasive environments is detecting predicates on sensed variables in an asynchronous distributed setting to determine context. We do not assume the availability of synchronized physical clocks because they may not be available or may be too expensive for predicate detection in such environments with a (relatively) low event occurrence rate. We address the problem of detecting each occurrence of a global predicate, at the earliest possible instance, by proposing a suite of on-line middleware protocols having varying degrees of accuracy. We analyze the degree of accuracy for the proposed protocols. The extent of false negatives and false positives is determined by the run-time message processing latencies.