185 search results - page 6 / 37 » Mobile Ambients |
CL
2002
Springer
13 years 7 months ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
ICALT
2006
IEEE
14 years 1 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...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a novel chemical plume tracing algorithm executed by a distributed network of mobile sensing agents that measure the ambient fluid velocity and chemical conce...
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...
PERVASIVE
2007
Springer
14 years 1 months ago
2007
Springer
Mobile devices make ideal personal ambient information systems given their ubiquitous adoption by users and their rich context knowledge of users’ activity. However, we believe ...