419 search results - page 52 / 84 » Interacting State Machines for Mobility |
AC
2000
Springer
14 years 1 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Autonomous navigation of an unmanned aerial vehicle (UAV) can be achieved with a reactive system which allows the robot to overcome all the unexpected changes in its environmen...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
ESSMAC
2003
Springer
14 years 1 months ago
2003
Springer
We present a gestural interface for entering text on a mobile device via continuous movements, with control based on feedback from a probabilistic language model. Text is represent...