1054 search results - page 188 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
POPL
2009
ACM
14 years 7 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
AIME
2005
Springer
14 years 10 days ago
2005
Springer
Though multi-agent systems have been explored in a wide variety of medical settings, their role at the primary care level has been relatively little investigated. In this paper, we...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
Self-organising multi-agent systems provide a suitable paradigm for developing autonomic computing systems that manage themselves. Towards this goal, we demonstrate a robust, dece...
ATAL
2007
Springer
14 years 29 days ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...
ATAL
2005
Springer
14 years 9 days ago
2005
Springer
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...