Theoretical Computer Science
Ontology Based Context Modeling and Reasoning using OWL
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
Learning to Detect User Activity and Availability from a Variety of Sensor Data
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
Reasoning about Uncertain Contexts in Pervasive Computing Environments
IEEE Pervasive Computing
Prediction intelligence in context-aware applications
Proceedings of the 6th international conference on Mobile data management
An Ontology-Based Approach to Context Modeling and Reasoning in Pervasive Computing
PERCOMW '07 Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications Workshops
Situational computing: An innovative architecture with imprecise reasoning
Journal of Systems and Software
The ECORA framework: A hybrid architecture for context-oriented pervasive computing
Pervasive and Mobile Computing
Reasoning about Context in Uncertain Pervasive Computing Environments
EuroSSC '08 Proceedings of the 3rd European Conference on Smart Sensing and Context
Ontology-based Management of Pervasive Systems
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Physical interaction in pervasive computing: formal modeling, analysis and verification
Proceedings of the 2009 international conference on Pervasive services
An Introduction to R
Formal specification of wireless and pervasive healthcare applications
ACM Transactions on Embedded Computing Systems (TECS)
Formal Specification and Verification of Ubiquitous and Pervasive Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
ECSTRA: distributed context reasoning framework for pervasive computing systems
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
Review: Situation identification techniques in pervasive computing: A review
Pervasive and Mobile Computing
Spatiotemporal reasoning for smart homes
Designing Smart Homes
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
| Hi-index | 0.00 |
Pervasive computing is a paradigm that focuses on the availability of computer resources anytime anywhere for any application and supports non-intrusive integration of computing services into everyday life. Context awareness is the core feature of pervasive computing. High-level context awareness can be enhanced by situation awareness that represents the ability to detect and reason about the real-life situations. In this article we propose, analyze and validate the formal verification method for situation definitions and demonstrate its feasibility and efficiency. Situations are often defined manually by domain experts and are, therefore, susceptible to definition inconsistencies and possible errors, which in turn can cause situation reasoning problems. The proposed method takes as an input properties of situations and dependencies among them as well as situation definitions in terms of low-level context features, and then either formally proves that the definitions do comply with the expected properties, or provides a complete set of counterexamples - context parameters that prove situation inconsistency. Evaluation and complexity analysis of the proposed approach are also presented and discussed. Examples and evaluation results demonstrate that the proposed approach can be used to verify real-life situation definitions, and detect non-obvious errors in situation specifications.