Maintaining knowledge about temporal intervals
Communications of the ACM
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Global predicates in rough real time
SPDP '95 Proceedings of the 7th IEEE Symposium on Parallel and Distributeed Processing
A Fine-Grained Modality Classification for Global Predicates
IEEE Transactions on Parallel and Distributed Systems
Time-diffusion synchronization protocol for wireless sensor networks
IEEE/ACM Transactions on Networking (TON)
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
Incremental consistency checking for pervasive context
Proceedings of the 28th international conference on Software engineering
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
MWM: a map-based world model for wireless sensor networks
Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
Concurrent Event Detection for Asynchronous consistency checking of pervasive context
PERCOM '09 Proceedings of the 2009 IEEE International Conference on Pervasive Computing and Communications
Snoogle: A Search Engine for Pervasive Environments
IEEE Transactions on Parallel and Distributed Systems
Context consistency management using ontology based model
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
IEEE Transactions on Wireless Communications
Hi-index | 0.00 |
Pervasive computing environments are composed of numerous smart entities (objects and human alike) which are interconnected through contextual links in order to create a Web of physical objects. The contextual links can be based on matching context attribute-values (e.g., co-location) or social connections. We call such a Web of smart physical objects a context map. Context maps can be used for context-aware search and browse of the physical world. This paper shows how to evaluate predicates on the context map, when the predicate is specified using complex timing relations.