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
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Temporal interactions of intervals in distributed systems
Journal of Computer and System Sciences
Detection of Strong Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
Detection of Weak Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
Combinatorics and Geometry of Consistent Cuts: Application to Concurrency Theory
Proceedings of the 3rd International Workshop on Distributed Algorithms
Global predicates in rough real time
SPDP '95 Proceedings of the 7th IEEE Symposium on Parallel and Distributeed Processing
A Software Engineering Framework for Context-Aware Pervasive Computing
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
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
ICDCS '08 Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems
Model-based fault detection in context-aware adaptive applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
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
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
Repeated detection of conjunctive predicates in distributed executions
Information Processing Letters
Execution and Time Models for Pervasive Sensor Networks
IPDPSW '11 Proceedings of the 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and PhD Forum
Context consistency management using ontology based model
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Journal of Ambient Intelligence and Smart Environments
| Hi-index | 0.00 |
An important problem in pervasive environments is detecting predicates on sensed variables in an asynchronous distributed setting to determine context and to respond. 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 instant, by proposing a suite of three 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.