893 search results - page 123 / 179 » Environment Assumptions for Synthesis |
ICMI
2005
Springer
14 years 1 months ago
2005
Springer
This paper addresses the problem of detecting interaction groups in an intelligent environment. To understand human activity, we need to identify human actors and their interperso...
SARA
2005
Springer
14 years 1 months ago
2005
Springer
Intelligent agents acting in real world environments need to synthesize their course of action based on multiple sources of knowledge. They also need to generate plans that smoothl...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
As of today no solely software-based solution that a priori protects the computation of any mobile code and/or mobile agent was presented. Furthermore, Algesheimer et al. [1], arg...
COORDINATION
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
GC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...