A Topology Based Approach for Context-Awareness in Smart Environments

Authors:
Antonio Coronato;Giuseppe Pietro
Affiliations:
Institute of High Performance Computing and Networking ICAR-CNR, Naples, Italy 80131;Institute of High Performance Computing and Networking ICAR-CNR, Naples, Italy 80131
Venue:
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
Year:
2009

Citing 7
Cited 0

Formal ontology, conceptual analysis and knowledge representation

International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
The pi calculus and its applications

JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Anytime, anywhere: modal logics for mobile ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal Methods for Real-Time Computing

Formal Methods for Real-Time Computing
Semantic Location

Personal and Ubiquitous Computing
Software fault avoidance issues

Ubiquity
Review: Ambient intelligence: Technologies, applications, and opportunities

Pervasive and Mobile Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents logic models and mechanisms to achieve context awareness and future context awareness. The proposed approach relies on handling the topology of the physical environment. We describe methods and tools to specify and implement topology services that can provide mechanisms for both rapid prototyping application services and handling context awareness information. Finally, we report some case studies and applications of the proposed approach.