|
Published Articles >> Table of Contents >> Abstract
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
pp. 177-185
A Formal Model of Context-Awareness and Context-Dependency
Mats Neovius, Åbo Akademi University, Finland
Kaisa Sere, Åbo Akademi University, Finland
Lu Yan, Åbo Akademi University, Finland
M. Satpathy, Åbo Akademi University, Finland
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.2
Send link to a friend
| Abstract |
|
The communication environment surrounding our
daily experience is increasingly characterized by
mobile devices that can exchange multimedia
information and provide access to various services of
complex nature. The trend is now clear that future
consumer computing experience will be based on
multiple pervasive communication devices and services,
where navigability, context-sensitivity, adaptability
and ubiquity are key characteristics. Several issues
have been studied, models and methodologies
proposed, and tools and systems implemented.
However, we look at the foundation, where some of the
most relevant issues probably are a formal model of
context-awareness and context-dependency. In this
paper, we discuss a formal foundation and software
engineering techniques for mobile context-aware and
context-dependent service derivation and application
development, emphasizing the relationships between
context and system.
|
 Additional Information
|
Citation:
Mats Neovius, Kaisa Sere, Lu Yan, M. Satpathy,
"A Formal Model of Context-Awareness and Context-Dependency,"
sefm,
pp. 177-185,
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06),
2006
|
|
