A Formal Model for Context-Awareness
| Autor: | Jonathan Bunde-Pedersen, Mikkel Baun Kjærgaard |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2006 |
| Předmět: | |
| Zdroj: | BRICS Report Series; No 2 (2006): RS-2 A Formal Model for Context-Awareness BRICS Report Series; Nr. 2 (2006): RS-2 A Formal Model for Context-Awareness |
| ISSN: | 2381-3652 1601-5355 0909-0878 |
| Popis: | There is a definite lack of formal support for modeling real- istic context-awareness in pervasive computing applications. The Conawa calculus presented in this paper provides mechanisms for modeling complex and interwoven sets of context-information by extending ambient calculus with new constructs and capabilities. In connection with the calculus we present four scenarios which are used to evaluate Conawa. The calculus is a step in the direction of making formal methods applicable in the area of pervasive computing. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|