A formalism for context-aware mobile computing

Proceedings - ISPDC 2004: Third International Symposium on Parallel and Distributed Computing/HeteroPar '04: Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Hete

Volumn , Issue , 2004, Pages 14-21

  Yan, Lu ^a   Sere, Kaisa ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

BANDWIDTH; CONTEXT FREE LANGUAGES; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PERSONAL DIGITAL ASSISTANTS; QUALITY OF SERVICE; SET THEORY; TELECOMMUNICATION NETWORKS; WIRELESS TELECOMMUNICATION SYSTEMS;

CONTEXT-AWARE ACTION SYSTEMS; DISTRIBUTED SYSTEMS; KAISA'S BANDWIDTH; PROCESSING CONTEXT INFORMATIONS;

MOBILE COMPUTING;

EID: 19644367755     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. B. Schilit, N. Adams, and R. Want. Context-Aware Computing Applications. In Proceedings of the Workshop on Mobile Computing Systems and Applications. Santa Cruz. CA. Dec. 1994.
2. P.J. Brown, J.D. Bovey, and X. Chen. Context-Aware Applications: from the Laboratory to the Market-place. In IEEE Personal Communications. 4(5): 58-64, 1997.
3. A.K. Dey and G.D. Abowd. Towards a Better Understanding of Context and Context-Awareness. In Proceedings of the CHI 2000 Workshop on The What, Who, Where, When, and How of Context-Awareness. The Hague. Netherlands. April 2000.
4. L. Capra, W. Emmerich, and C. Mascolo. CARISMA: Context-Aware Reflective middleware System for Mobile Applications. In IEEE Transactions on Software Engineering. October 2003. (Vol. 29, No. 10).
5. R.J.R. Back and K. Sere. From Action Systems to Modular Systems. In Software - Concepts and Tools. (1996) 17: 26-39.
6. R.J.R. Back, A.J. Martin, and K.Sere. Specifying the Caltech asynchronous microprocessor. In Science of Computer Programming. (1996) 26: 79-97.
7. R.J. Back and J. Wright. Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science, Springer-Verlag. 1998.
8. E.W. Dijkstra: A Discipline of Programming. Prentice-Hall International. 1976.
9. E. Sekerinski and K. Sere. A Theory of Prioritizing Composition. In The Computer Journal. Vol. 39. No. 8, 1996.
10. A. Harter and A. Hopper. A distributed location system for the active office. In IEEE Networks. (1994) 8: 62-70.
11. R. Want. An overview of the PARCTab ubiquitous computing environment. In IEEE Personal Communications. (1995) 2: 28-33.
12. G. Abowd, C. Atkeson, J. Hong, S. Long, R. Kooper, and M. Pinkerton. Cyberguide: A mobile context-aware tour guide. In ACM Wireless Networks. (1997) 3: 421-433.
13. K. Cheverst, N. Davies, K. Mitchell, A. Friday, and C. Efstratiou. Experiences of developing and deploying a context-aware tourist guide: The GUIDE project. In Proceedings of the 6th annual international conference on Mobile computing and networking. Boston, MA. 2000.
14. A.K. Day, D. Salber, G.D. Abowd, and M. Futakawa. The Conference Assistant: Combining Context-Awareness with Wearable Computing. In Proceedings of the 3rd International Symposium on Wearable Computers. San Francisco, CA, Oct. 1999.
15. A. Asthana, M. Cravatts, and P. Kryzyzanowski. An Indoor Wireless System for Personalized Shopping Assistance. In Proceedings of IEEE Workshop on Mobile Computing Systems and Applications. Santa Cruz. CA. Dec. 1994.
16. L. Petre, K. Sere, and M. Waldén, A Topological Approach to Distributed Computing. In Proceedings of WDS'99 - Workshop on Distributed Systems. Iasi. Romania. Sept. 1999. ENTCS 28, Elsevier Science.
17. K. Sere and M. Waldén. Data Refinement of Remote Procedures. In Proceedings of the International Symposium on Theoretical Aspects of Computer Software (TACS97). Sendai, Japan. Sept. 1997. LNCS 1281, Springer-Verlag.
18. A.V. Lamsweerde, R. Darimont, and E. Letier. Managing Conflicts in Goal-Driven Requirements Engineering. In IEEE Transactions on Software Engineering. Vol. 24, No. 11, Nov. 1998.
19. R.M. Sivasankaran, J.A. Stankovic, D. Towsley, B. Purimetla, and K. Ramamritham. Priority Assignment in Real-Time Active Databases. In The International Journal on Very Large Data Bases. Vol. 5, No. 1, January 1996.
20. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented Software Architecture, A System of Patterns. John wiley & Sons. 1996.
21. L. Capra, W. Emmerich, and C. Mascolo. A Micro-Economic Approach to Conflict Resolution in Mobile Computing. In Proceedings of the 10th International Symposium on the Foundations of Software Engineering (FSE-10). Charleston, South Carolina, USA. Nov. 2002, ACM Press.