963 search results - page 6 / 193 » Types for Mobile Ambients |
ICEB
2004
13 years 10 months ago
2004
Most of existing mobile services were designed based on the client/server architecture. Those mobile services neither paid much attention to mobile users' interactions with t...
AINA
2005
IEEE
14 years 2 months ago
2005
IEEE
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...
BIRTHDAY
2008
Springer
13 years 10 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...
AMR
2005
Springer
14 years 2 months ago
2005
Springer
As Consumer Electronics devices get interconnected, the issue of aligning their data management solutions becomes prominent. If we want to deploy comprehensive applications that ar...
GG
2008
Springer
13 years 9 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...