2 search results - page 1 / 1 » CCA: A Calculus of Context-Aware Ambients |
AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...