A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing-Reference-Cited by-同舟云学术

A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing

Published:2008 Issue: Volume: Page:519-533
ISSN:1865-0929
Container-title:Communications in Computer and Information Science
language:
Short-container-title:

Author:

Cafezeiro Isabel,Viterbo José,Rademaker Alexandre,Haeusler Edward Hermann,Endler Markus

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-88479-8_37

Reference15 articles.

1. Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical Models of Context-aware Systems. Technical Report TR-2005-74, The IT University of Copenhagen (November 2005)

2. Cafezeiro, I., Haeusler, E.H.: Semantic interoperability via category theory. Conferences in Research and Practice in Information Technology 83 (2006)

3. Cafezeiro, I., Rademaker, A., Haeusler, E.H.: Ontology and Context. In: Proceedings of CoMoREA 2008, pp. 53–62 (2008)

4. Goldblatt, R.: Topoi: The Categorical Analysis of Logicser. Ser Studies in Logic and the Foundations of Mathematics. NorthHolland (1979)

5. Henricksen, K., Indulska, J.: Developing context-aware pervasive computing applications: Models and approach. Models and approach. Pervasive and Mobile Computing 2(1), 37–64 (2006)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Supporting Context-Aware Engineering Based on Stream Reasoning;Modeling and Using Context;2017

2. Specifying ubiquitous systems through the algebra of contextualized ontologies;The Knowledge Engineering Review;2014-03

3. Fundamental Concepts;Decentralized Reasoning in Ambient Intelligence;2012