2612 search results - page 256 / 523 » Mobile Processes and Termination |
ICRA
2000
IEEE
14 years 3 months ago
2000
IEEE
A mapmaking robot integrates accumulated sensor data into a data structure that can be used for future localization or planning operations. Localization is the process of determin...
HUC
2007
Springer
14 years 2 months ago
2007
Springer
Securing interactions between devices that do not know each other a priori is an important and challenging task. We present Amigo, a technique to authenticate co-located devices us...
DEXAW
2004
IEEE
14 years 2 months ago
2004
IEEE
Database-like query processing over a network of sensors has become an attractive paradigm for building sensor applications. A sensor query is characterized by data streams among ...
ESOP
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
ENTCS
2006
13 years 11 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...