963 search results - page 6 / 193 » Types for Mobile Ambients |
130
Voted
ICEB
2004
15 years 5 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...
121
Voted
AINA
2005
IEEE
15 years 9 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...
156
Voted
BIRTHDAY
2008
Springer
15 years 5 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...
148
Voted
AMR
2005
Springer
15 years 9 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...
133
Voted
GG
2008
Springer
15 years 4 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...