2436 search results - page 35 / 488 » An Experiment in the Design of Software Agents |
AOSE
2005
Springer
15 years 5 months ago
2005
Springer
Several concerns in the development of multi-agent systems (MASs) cannot be represented in a modular fashion. In general, they inherently affect several system modules and cannot b...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
HOLOMAS
2003
Springer
15 years 5 months ago
2003
Springer
Agent Exchange is a virtual trading environment serving as a test bed for experiments with market simulations, trading strategies and auctioning techniques. Agent Exchange is the d...
AGENTS
1997
Springer
15 years 4 months ago
1997
Springer
To facilitate the rapid development and open system interoperability of autonomous agents we need to carefully specify and effectively implement various classes of agent behaviors...
DEXAW
2000
IEEE
15 years 4 months ago
2000
IEEE
City councils have not yet benefited as much from modern information systems as the other administrations. In the Cuparla project, members of the Stuttgart city councils were each...