Sciweavers

2243 search results - page 95 / 449
» Contracts for Mobile Processes
Sort
View
121
Voted
EDBT
2010
ACM
205views Database» more  EDBT 2010»
15 years 7 months ago
Advanced knowledge discovery on movement data with the GeoPKDD system
The growing availability of mobile devices produces an enormous quantity of personal tracks which calls for advanced analysis methods capable of extracting knowledge out of massiv...
Mirco Nanni, Roberto Trasarti, Chiara Renso, Fosca...
113
Voted
ICIAP
2007
ACM
16 years 3 months ago
Document Image Mosaicing with Mobile Phones
This paper presents a novel user interaction concept for document image scanning with mobile phones. A high resolution mosaic image is constructed in two main stages. Firstly, onl...
Jari Hannuksela, Pekka Sangi, Janne Heikkilä,...
CONCUR
1999
Springer
15 years 8 months ago
Validating Firewalls in Mobile Ambients
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
Flemming Nielson, Hanne Riis Nielson, René ...
152
Voted
POPL
1999
ACM
15 years 8 months ago
Types for Mobile Ambients
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
Luca Cardelli, Andrew D. Gordon
132
Voted
MHCI
2009
Springer
15 years 10 months ago
SiMPE: Fourth Workshop on Speech in Mobile and Pervasive Environments
With the proliferation of pervasive devices and the increase in their processing capabilities, client-side speech processing has been emerging as a viable alternative. SiMPE 2009,...
Amit Anil Nanavati, Nitendra Rajput, Alexander I. ...