• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

A Formalism for Context-Aware Mobile Computing

Lu Yan, Kaisa Sere, A Formalism for Context-Aware Mobile Computing. In: Proceedings of the ISPDC/HeteroPar 2004, IEEE Computer Society Press, 2004.

Abstract:

Mobile devices, such as mobile phones and PDAs, have gained wide-spread popularity. Applications for this kind of mobile devices have to adapt to changes in context, such
as variations in network bandwidth, battery power, connectivity, reachability of services and hosts, and so on. In this paper, we define context-aware action systems that provides
a systematic method for managing and processing context information. The meaning of context-aware action systems is defined in terms of classical action systems, so that the
properties of context-aware action systems can be proved using standard action systems proof techniques. We describe the essential notions of this formalism and illustrate the framework with examples on context-aware services for mobile applications.

BibTeX entry:

@INPROCEEDINGS{inpYaSe04a,
  title = {A Formalism for Context-Aware Mobile Computing},
  booktitle = {Proceedings of the ISPDC/HeteroPar 2004},
  author = {Yan, Lu and Sere, Kaisa},
  publisher = {IEEE Computer Society Press},
  year = {2004},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication