963 search results - page 4 / 193 » Types for Mobile Ambients |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
EUMAS
2006
13 years 10 months ago
2006
This paper provides an insight on the special requirements of accessibility content and services in an ambient intelligence context and proposes an agent-based approach into a mor...
TGC
2005
Springer
14 years 2 months ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
CL
2002
Springer
13 years 8 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
MDM
2007
Springer
14 years 2 months ago
2007
Springer
—We discuss the design of interaction ambients, which are ambients populated with fixed and mobile services, accessible through distributed interfaces. To make the interaction e...