There is a definite lack of formal support for modeling realistic 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. The calculus is a step in the direction of making formal methods applicable in the area of pervasive computing.
Proceedings of the First International Workshop on Combining Theory and Systems Building in Pervasive Computing (pervasive 2006), 2006, p. 667-674
Main Research Area:
Pervasive 2006 - International Workshop on Combining Theory and Systems Building in Pervasive Computing