Browsing by Subject "ubiquitous computing systems"

Now showing items 1-1 of 1

The Calculus of context-aware ambients.

Siewe, Francois; Zedan, Hussein; Cau, A. (Antonio) (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 ...