Now showing items 1-2 of 2
Security management for mobile ad hoc network of networks (MANoN).
(IGI Publishing, 2010)
The Calculus of context-aware ambients.
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 ...