ruSMART 2009, NEW2AN 2009: Smart Spaces and Next Generation Wired/Wireless Networking pp 32-41 | Cite as
A Topology Based Approach for Context-Awareness in Smart Environments
Conference paper
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.
Keywords
Temporal Logic Physical Location Reduction Rule Ambient Intelligence Context Awareness
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Heitmeyer, C., Mandrioli, D.: Formal Methods for Real-Time Computing. John Wiley & Sons, Inc., Chichester (2004)Google Scholar
- 2.Pradhan, S.: Semantic locations. Personal Technologies 4(4), 213–216 (2000)CrossRefGoogle Scholar
- 3.Cook, D.J., Augusto, J.C., Jakkula, V.R.: Ambient intelligence: Technologies, applications, and opportunities. Pervasive and Mobile Computing (April 15, 2008) (in press) (accepted manuscript), ISSN 1574-1192, doi:10.1016/j.pmcj.2009.04.001, http://www.sciencedirect.com/science/article/B7MF1-4W2W5PH-1/2/7ac602bb16ca409e2f70c13aa24ae0d5
- 4.Saha, G.K.: Software fault avoidance issues. ACM Ubiquity 7(46), 1–15 (2006)Google Scholar
- 5.Coronato, A., De Pietro, G., Esposito, M.: A Multimodal Semantic Location Service for Intelligent Environments: An Application for Smart Hospitals. Journal of Personal Communications (to appear)Google Scholar
- 6.Guarino, N.: Formal Ontology, Conceptual Analysis and Knowledge Representation. International Journal of Human-Computer Studies. Special Issue on Formal Ontology, Conceptual Analysis and Knowledge Representation (1995)Google Scholar
- 7.Cardelli, L., Gordon, A.D.: Ambient logic. Theoretical Computer Science. Elsevier (ed.) (June 2000)Google Scholar
- 8.Cardelli, L., Gordon, A.: Anytime, anywhere modal logics for mobile ambients. In: 27th ACM Symposium on Principles of Programming Languages (2000)Google Scholar
- 9.Milner, R.: The Pi Calculus and Its Applications (Keynote Address). In: Int. The Proc. of the 1998 Joint International Conference and Symposium on Logic Programming. MIT Press, Cambridge (1998)Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2009