A formal treatment of context-awareness

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

Volumn 2984, Issue , 2004, Pages 12-36

  Roman, Gruia Catalin ^a   Julien, Christine ^a   Payton, Jamie ^a  

^a WASHINGTON UNIVERSITY IN ST LOUIS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; SOFTWARE ENGINEERING;

APPLICATION COMPONENTS; CHANGING EXTERNAL CONDITIONS; COMPUTING PARADIGM; CONTEXT- AWARENESS; CONTEXT-AWARE COMPUTING; FIRST PRINCIPLES; INDIVIDUAL COMPONENTS; INTERACTION PATTERN;

USER INTERFACES;

EID: 35048897504     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24721-0_2     Document Type: Article

References (21)

1. Salber, D., Dey, A., Abowd, G.: The Context Toolkit: Aiding the development of context-enabled applications. In: Proceedings of CHP99. (1999) 434-441
2. Hong, J., Landay, J.: An infrastructure approach to context-aware computing. Human Computer Interaction 16 (2001)
3. th International Symposium on the Foundations of Software Engineering. (2002) 21-30
4. Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: IEEE Workshop on Mobile Computing Systems and Applications. (1994)
5. nd International Workshop on Foundations of Coolrdinations Languages and Software Architectures. (2003)
6. Roman, G.G., McCann, P.J.: A notation and logic for mobile computing. Formal Methods in System Design 20 (2002) 47-68
7. McCann, P.J., Roman, G.G.: Compositional programming abstractions for mobile computing. IEEE Transactions on Software Engineering 24 (1998) 97-110
8. Fok, C.L., Roman, G.G., Hackmann, G.: A lightweight coordination middleware for mobile computing. In: Proceedings of the 6"1 International Conference on Coordination Models and Languages. (2004) (to appear).
9. Back, R.J.R., Sere, K.: Stepwise refinement of parallel algorithms. Science of Computer Programming 13 (1990) 133-180
10. Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, NY, USA (1988)
11. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12 (1969) 576-580, 583
12. Harter, A., Hopper, A.: A distributed location system for the active office. IEEE Networks 8 (1994) 62-70
13. Want, R., et al.: An overview of the PARCTab ubiquitous computing environment. IEEE Personal Communications 2 (1995) 28-33
14. Abowd, G., Atkeson, C., Hong, J., Long, S., Kooper, R., Pinkerton, M.: Cyberguide: A mobile context-aware tour guide. ACM Wireless Networks 3 (1997) 421-433
15. Cheverst, K., Davies, N., Mitchell, K., Friday, A., Efstratiou, C.: Experiences of developing and deploying a context-aware tourist guide: The GUIDE project. In: Proceedings of MobiCom, ACM Press (2000) 20-31
16. Roman, M., Hess, C., Cerqueira, R., Ranganathan, A., Campbell, R.: Gaia: A middleware infrastructure to enable active spaces. IEEE Pervasive Computing (2002) 74-83
17. Wickramasuriya, J., Venkatasubramanian, N.: A middleware approach to access control for mobile concurrent objects. In: Proceedings of the International Symposium on Distributed Objects and Applications. (2002)
18. IBM: T Spaces. http://www.almaden.ibm.com/cs/TSpaces/ (2001)
19. Sun: Javaspaces. http://www.sun.com/jini/specs/jinil.lhtml/js-title.html (2001)
20. Cabri, G., Leonardi, L., Zambonelli, F.: MARS: A programmable coordination architecture for mobile agents. Internet Computing 4 (2000) 26-35
21. st International Conference on Distributed Computing Systems. (2001) 524-533