266 search results - page 37 / 54 » Mobile Agent-Based Execution Modelling |
141
click to vote
ICVS
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This paper concerns the exploration of a natural environment by a mobile robot equipped with both a video camera and a range sensor (stereo or laser range finder); we fo...
198
click to vote
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
100
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
123
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
108
click to vote
ENTCS
2002
15 years 1 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...