Sciweavers

2612 search results - page 118 / 523
» Mobile Processes and Termination
Sort
View
GG
2008
Springer
13 years 10 months ago
A Decentralized Implementation of Mobile Ambients
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...
Fabio Gadducci, Giacoma Valentina Monreale
WETICE
1998
IEEE
14 years 1 months ago
Interactive Mobile Agents in X-Klaim
Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming la...
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese...
CCIA
2009
Springer
13 years 10 months ago
Evaluation of the SIFT Object Recognition Method in Mobile Robots
General object recognition in mobile robots is of primary importance in order to enhance the representation of the environment that robots will use for their reasoning processes. T...
Arnau Ramisa, Shrihari Vasudevan, David Aldavert, ...
AUTOMATICA
2010
134views more  AUTOMATICA 2010»
13 years 9 months ago
Nonlinear filtering in target tracking using cooperative mobile sensors
Collaborative signal processing and sensor deployment have been among the most important research tasks in target tracking using networked sensors. In this paper, the mathematical...
Jiangping Hu, Xiaoming Hu
IJMC
2006
58views more  IJMC 2006»
13 years 9 months ago
Hoarding content for mobile learning
: M-learning is a rapidly expanding recently domain. Provoked by the fast advances of mobile technologies different applications and systems are developed continuously. Here we add...
Anna Trifonova, Marco Ronchetti