363 search results - page 32 / 73 » Agent-Based Computing and Programming of Agent Systems |
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
ATAL
2011
Springer
12 years 8 months ago
2011
Springer
Central to the vision of the smart grid is the deployment of smart meters that will allow autonomous software agents, representing the consumers, to optimise their use of devices ...
CCGRID
2001
IEEE
14 years 9 days ago
2001
IEEE
While You're Away (WYA) is a distributed system that aggregates the computational power of individual computer systems. WYA introduces the notion of Roaming Computations - Ja...
ISIM
2007
13 years 10 months ago
2007
We continue the investigation of P coloniesintroduced in [7], of abstract computing devices composed of independent agents, acting and evolving in a shared environment. We determin...
IAT
2003
IEEE
14 years 1 months ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...