An architecture for developing context-aware systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3946 LNAI, Issue , 2006, Pages 48-61

  Wan, Kaiyu ^a   Alagar, Vasu ^a   Paquet, Joey ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

Co design; Components; Context; Context awareness

Indexed keywords

COMPONENTS; COMPUTER SYSTEMS; CONTEXT FREE GRAMMARS; INFORMATION TECHNOLOGY; PROBLEM SOLVING; SOFTWARE ENGINEERING;

CO-DESIGN; CONTEXT-AWARENESS; CONTEXTS; FORMAL DEFINITION;

COMPUTER ARCHITECTURE;

EID: 33745839623     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11740674_4     Document Type: Conference Paper

References (14)

1. V. S. Alagar, J. Paquet, K. Wan. Intensional Programming for Agent Communication, Proceedings of DALT'04, New York, July 2004, Lecture Notes in Computer Science, Springer-Verlag, Vol. 3476, Page 239-255.
2. F. Balarin, E. Sentovich, M. Chiodo, P. Giusto, H. Hsieh, B. Tabbara, A. Jurecska, L. Lavagno, C. Passerone, K. Suzuki, and A. Sangiovanni-Vincentelli. Hardware-Software Co-design of Embedded Systems - The POLIS approach. Kluwer Academic Publishers, 1997.
3. A.K.Dey, Understanding and Using Context, Personal and Ubiquitous Computing Journal 5(1).pp.4-7.2001.
4. A.K. Dey, D. Salber, G.D. Abowd. A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-aware Applications, anchor article of a special issue on Human Computer Interaction, Vol. 16, (2001).
5. D.Dowty, R.Wall, and S.Peters. Introduction to Montague Semantics. Reidel Publishing Company, 1981.
6. R. V. Guha. Contexts: A Formalization and Some Applications. Ph.d thesis, Stanford University, February 10,1995.
7. Cheverst, K., N. Davies, K. Mitchell and C. Efstratiou. Using Context as a Crystal Ball: Rewards and Pitfalls. Personal Technologies Journal, Vol. 3 No5, pp. 8-11, 2001.
8. J.McCarthy. Notes on formalizing context. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993.
9. D. Muthiayen. Real-Time Reactive System Development - A Formal Approach Based on UML and PVS. Phd. Thesis, Department of Computer Science, Concordia University, Montreal, Canada, January 2000
10. nd International Symposium on Wearable Computers, pp. 92-99, 1998.
11. F. Plasil, S. Visnovsky. Behavior Protocols for Software Components. IEEE Transactions on Software Engineering archive, 28(11), pp.1056-1076, 2002.
12. st International Workshop on Mobile Computing Systems Applications, pp. 85-90, 1994.
13. K. Wan, V.S. Alagar, J. Paquet. Real Time Reactive Programming Enriched with Context. ICTAC2004, September 2004, Lecture Notes in Computer Science, Springer-Verlag, Vol. 3407, Page 387-402.
14. K.Wan. Lucx: Lucid Enriched with Context. Ph.d thesis, Concordia University, January,2006.