37 search results - page 5 / 8 » Behavioural Theory for Mobile Ambients |
GLOBAL
2003
Springer
14 years 27 days ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
FAC
2002
13 years 7 months ago
2002
Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...
ICMB
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper discusses the functional and technological opportunities associated with mobile recommendation systems. These are systems that help a mobile user or a group of mobile u...
DFMA
2005
IEEE
14 years 1 months ago
2005
IEEE
Mobility study is composed by many research areas which one interests us : urban mobility. Urban movement study aims at looking and designing human displacements in an urban envir...
CJ
2004
13 years 7 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...