A Formalism for Context-Aware Mobile Computing

Authors:
Lu Yan;Kaisa Sere
Affiliations:
Turku Centre for Computer Science and Âbo Akademi University;Turku Centre for Computer Science and Âbo Akademi University
Venue:
ISPDC '04 Proceedings of the Third International Symposium on Parallel and Distributed Computing/Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks
Year:
2004

Citing 0
Cited 3

A framework for Incorporating trust into formal systems development

ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
On foundation of engineering context-sensitive applications

Journal of Mobile Multimedia
A language for modeling network availability

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.