963 search results - page 10 / 193 » Types for Mobile Ambients |
ICALP
2003
Springer
14 years 1 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
ICALT
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper proposes a conceptual framework for mobile learning applications that provides systematic support for mobile learning experience design. It is based on a combination of...
IANDC
2002
13 years 8 months ago
2002
CORR
2010
Springer
13 years 5 months ago
2010
Springer
ICALP
2003
Springer
14 years 1 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...