Sciweavers

9518 search results - page 273 / 1904
» On Mobility of Software Processes
Sort
View
CONCUR
1999
Springer
15 years 11 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é ...
VTC
2007
IEEE
130views Communications» more  VTC 2007»
16 years 28 days ago
Data Stream Processing Infrastructure for Intelligent Transport Systems
— Intelligence Transportation Systems are critical to improve the efficiency of modern transportation by reducing congestions, providing real time road conditions. A system that...
Eric Bouillet, Mark Feblowitz, Zhen Liu, Anand Ran...
POPL
1999
ACM
15 years 11 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
MHCI
2009
Springer
16 years 1 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. ...
SIGSAND
2008
15 years 8 months ago
Reference Model for Service-oriented Business Software Based on Web Service Nets
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
Maik Herfurth, Thomas Karle, Frank Schönthale...