A Formal Model for Context-Awareness

@techreport{BRICS-RS-06-2, abstract = {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.}, author = {Kj\aergaard, Mikkel B. and Bunde-Pedersen, Jonathan }, citeulike-article-id = {613199}, keywords = {author, conawa, context, tech-report}, number = {RS-06-2}, posted-at = {2006-05-04 13:26:48}, priority = {2}, title = {A Formal Model for Context-Awareness}, url = {http://www.daimi.au.dk/\~{}jbp/pmwiki.uploads//conawa.pdf}, year = {2006} }

TY - RPRT ID - BRICS-RS-06-2 L3 - citeulike-article-id:613199 N2 - 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. IS - RS-06-2 TI - A Formal Model for Context-Awareness KW - author KW - conawa KW - context KW - tech-report AU - Kj\aergaard, Mikkel AU - Bunde-Pedersen, Jonathan PY - 2006/// UR - http://www.daimi.au.dk/~jbp/pmwiki.uploads//conawa.pdf ER -