Reasoning about context-awareness in the presence of mobility

Electronic Notes in Theoretical Computer Science

Volumn 97, Issue , 2004, Pages 259-276

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

^a WASHINGTON UNIVERSITY IN ST LOUIS   (United States)

Author keywords

Context UNITY; Context awareness; Formal methods; Mobile computing; Shared variables; UNITY

Indexed keywords

ALGEBRA; ALGORITHMS; COMPUTER PROGRAM LISTINGS; COMPUTER SCIENCE; CONCURRENT ENGINEERING; MOBILE COMPUTING;

CONTEXT UNITY; CONTEXT-AWARENESS; FORMAL METHODS; SHARED VARIABLES; UNITY;

COMPUTER PROGRAMMING;

EID: 18944401275     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.04.040     Document Type: Conference Paper

References (27)

1. 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
2. Back R.J.R, Sere K. Stepwise refinement of parallel algorithms. Science of Computer Programming. 13:1990;133-180
3. Brown P.J. The stick-e document: A framework for creating context-aware applications. Proceedings of EP'96. 1996;259-272
4. Cardelli L, Gordon A. Mobile ambients. Theoretical Computer Science, Special Issue on Coordination. 240:2000;177-213
5. Chandy K.M, Misra J. Parallel Program Design: A Foundation. 1988;Addison-Wesley, NY, USA
6. Cheverst K, Davies N, Mitchell K, Friday A, Efstratiou C. Experiences of developing and deploying a context-aware tourist guide: The GUIDE project. Proceedings of MobiCom. 2000;20-31
7. Cugola G, Nitto E.D, Fuggetta A. The JEDI event-based infrastructure and its application to the development of the OPSS WFMS. IEEE Transactions on Software Engineering. 27:2001;827-850
8. Cugola, G. and G. P. Picco, PeerWare: Core middleware support for peer to peer and mobile systems, Technical report, Politecnico di Milano (2001)
9. nd International Symposium on Handheld and Ubiquitous Computing. 2000;172-186
10. Floyd R.W. Assigning meaning to programs. Proceedings of the Symposium on Applied Mathematics. 1967;19-37
11. Harter A, Hopper A. A distributed location system for the active office. IEEE Networks. 8:1994;62-70
12. Hoare C.A.R. Axiomatic basis for computer programming. Communications of the ACM. 12:1969;576-580
13. Hoare C.A.R. Communicating Sequential Processes. 1985;Prentice-Hall International
14. th International Symposium on the Foundations of Software Engineering. 2002;21-30
15. McCann P.J, Roman G.-C. Compositional programming abstractions for mobile computing. IEEE Transactions on Software Engineering. 24:1998;97-110
16. McCann P.J, Roman G.-C. Modeling Mobile IP in Mobile UNITY. ACM Transactions on Software Engineering and Methodology. 8:1999;115-146
17. Milner R. A Calculus of Communicating Systems. LNCS. 92:1980;Springer- Verlag
18. Milner R. Communicating and Mobile Systems: The Pi Calculus. 1999;Cambidge University Press
19. st International Conference on Distributed Computing Systems. 2001;524-533
20. st International Symposium on Handheld and Ubiquitous Computing. LNCS. 1707:1999;208-221
21. Picco G.P, Roman G.-C, McCann P.J. Reasoning about code mobility in Mobile UNITY. ACM Transactions on Software Engineering and Methodology. 10:2001;338-395
22. th International Conference on Intelligent User Interfaces. 2001;219-224
23. Roman G.-C, McCann P.J. A notation and logic for mobile computing. Formal Methods in System Design. 20:2002;47-68
24. st International Workshop on TeloGeoProcessing. 1999;155-163
25. Salber D, Dey A, Abowd G. The Context Toolkit: Aiding the development of context- enabled applications. Proceedings of CHI'99. 1999;434-441
26. Schilit B, Adams N, Want R. Context-aware computing applications. IEEE Workshop on Mobile Computing Systems and Applications. 1994;85-90
27. Want R, et al. An overview of the PARCTab ubiquitous computing environment. IEEE Personal Communications. 2:1995;28-33