Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
Abstract. Mobile entity navigation in dynamic environments is an essential part of many mission critical applications like search and rescue and fire fighting. The dynamism of the ...
Experience-based service selection refers to selection of service providers using others' experiences. An agent can represent its experience (its demand and received service) ...
Context management has been a key technique in Ambient Intelligence applications development, although its use has not attain such success in other environments, such as those evol...
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...