Back to Search
Start Over
Modeling adaptive behaviors in Context UNITY
- Source :
-
Theoretical Computer Science . May2007, Vol. 376 Issue 3, p185-204. 20p. - Publication Year :
- 2007
-
Abstract
- Abstract: Context-aware computing refers to a paradigm in which applications sense aspects of the environment and use this information to adjust their behavior in response to changing circumstances. In this paper, we present a formal model and notation (Context UNITY) for expressing quintessential aspects of context-aware computations; existential quantification, for instance, proves to be highly effective in capturing the notion of discovery in open systems. Furthermore, Context UNITY treats context in a manner that is relative to the specific needs of an individual application and promotes an approach to context maintenance that is transparent to the application. In this paper, we construct the model from first principles, introduce its proof logic, and demonstrate how the model can be used as an effective abstraction tool for context-aware applications and middleware. [Copyright &y& Elsevier]
- Subjects :
- *PREDICATE calculus
*MATHEMATICAL logic
*MIDDLEWARE
*ABSTRACT thought
*LOGIC
Subjects
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 376
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 24801819
- Full Text :
- https://doi.org/10.1016/j.tcs.2007.02.025