Browsing by Subject "ubiquitous computing systems"
Now showing items 1-1 of 1
-
The Calculus of context-aware ambients.
(Article)We present the Calculus of Context-aware Ambients (CCA in short) for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambients and introduces ...