The active badge location system
ACM Transactions on Information Systems (TOIS)
Temporal interactions of intervals in distributed systems
Journal of Computer and System Sciences
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Ontology Based Context Modeling and Reasoning using OWL
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
LANDMARC: indoor location sensing using active RFID
Wireless Networks - Special issue: Pervasive computing and communications
Incremental consistency checking for pervasive context
Proceedings of the 28th international conference on Software engineering
A deferred cleansing method for RFID data analytics
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Managing Quality of Context in Pervasive Computing
QSIC '06 Proceedings of the Sixth International Conference on Quality Software
ICDCS '08 Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Control and data dependencies in business processes based on semantic business activities
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Concurrent Event Detection for Asynchronous consistency checking of pervasive context
PERCOM '09 Proceedings of the 2009 IEEE International Conference on Pervasive Computing and Communications
Context reasoning using extended evidence theory in pervasive computing environments
Future Generation Computer Systems
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
TASA: Tag-Free Activity Sensing Using RFID Tag Arrays
IEEE Transactions on Parallel and Distributed Systems
Performance analysis for indoor location determination
International Journal of Ad Hoc and Ubiquitous Computing
Mobility corresponding location-aware information services based on embedded RFID platform
International Journal of Ad Hoc and Ubiquitous Computing
Context consistency management using ontology based model
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments
IEEE Transactions on Parallel and Distributed Systems
Decentralized checking of context inconsistency in pervasive computing environments
The Journal of Supercomputing
MPaaS: Mobility prediction as a service in telecom cloud
Information Systems Frontiers
Hi-index | 0.00 |
Event detection for context inconsistency is challenging in pervasive computing environments, where contexts are often noisy owing to fragile connectivity, node frequent movement and resource constraints. As a recent scheme, CEDA - Concurrent Event Detection for Asynchronous inconsistency checking (CEDA) - concurrently detects context inconsistency by exploring the happened-before relation among events. Nevertheless, CEDA suffers from several problems - unscalable from partial centralised detection manner, heavy computation complexity and false negative. To address these challenges, we propose in this paper the SECA scheme - asynchronous event detection for context inconsistency in pervasive computing. It puts forward a new type logical clock - snapshot timestamp - to check event relations, which enables it to be efficient in the scenarios where CEDA fails to. Meanwhile, SECA comes up with a lightweight update mechanism for the snapshot clock, which considerably reduces time and space complexity. Extensive experiments have been conducted and results show that SECA surmounts CEDA with respect to detection accuracy and scalability.