Towards a general theory of action and time
Artificial Intelligence
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs
Theoretical Computer Science
A Location Model for Communicating and Processing of Context
Personal and Ubiquitous Computing
Privacy by Design - Principles of Privacy-Aware Ubiquitous Systems
UbiComp '01 Proceedings of the 3rd international conference on Ubiquitous Computing
A Hybrid Location Model with a Computable Location Identifier for Ubiquitous Computing
UbiComp '02 Proceedings of the 4th international conference on Ubiquitous Computing
Providing architectural support for building context-aware applications
Providing architectural support for building context-aware applications
Ontology Based Context Modeling and Reasoning using OWL
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
Use of ontologies in a pervasive computing environment
The Knowledge Engineering Review
A Distributed Pi-Calculus
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Ontology-based models in pervasive computing systems
The Knowledge Engineering Review
Electronic Notes in Theoretical Computer Science (ENTCS)
Provably Correct Pervasive Computing Environments
PERCOM '08 Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications
A size-based qualitative approach to the representation of spatial granularity
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Developing context-aware pervasive computing applications: Models and approach
Pervasive and Mobile Computing
Managing disclosure of personal health information in smart home healthcare
UAHCI'07 Proceedings of the 4th international conference on Universal access in human-computer interaction: ambient interaction
A unified semantics space model
LoCA'07 Proceedings of the 3rd international conference on Location-and context-awareness
UCS'06 Proceedings of the Third international conference on Ubiquitous Computing Systems
Bigraphical models of context-aware systems
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
A formal model of obfuscation and negotiation for location privacy
PERVASIVE'05 Proceedings of the Third international conference on Pervasive Computing
Spatiotemporal reasoning for smart homes
Designing Smart Homes
Context-aware pervasive service composition and its implementation
Personal and Ubiquitous Computing
Managing dynamic context to optimize smart interactions and services
The smart internet
Managing dynamic context to optimize smart interactions and services
The smart internet
A top-level ontology for smart environments
Pervasive and Mobile Computing
Monitoring for digital preservation of processes
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
Distributed spatial reasoning for wireless sensor networks
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
Review: Situation identification techniques in pervasive computing: A review
Pervasive and Mobile Computing
Context Inference Engine (CiE): Inferring Context
International Journal of Advanced Pervasive and Ubiquitous Computing
Hi-index | 0.00 |
Pervasive computing systems work within, and rely on, a model of the environment they operate in. In this respect, pervasive computing systems differ from other distributed and mobile computing systems, and require new verification methods. A range of methods and tools exist for verifying distributed and mobile concurrent systems, and for checking consistency of ontology-based context models. As a tool for verifying current pervasive computing systems both are not optimal, since the former cover mainly tree-based location models, whereas the latter are not able to address the dynamic aspects of computing systems. We propose to formally describe pervasive computing systems as distributed concurrent systems operating on the background of a mereotopological context model.