Sciweavers

2651 search results - page 222 / 531
» Beliefs in Agent Implementation
Sort
View
WELCOM
2001
Springer
127views ECommerce» more  WELCOM 2001»
15 years 11 months ago
FAucS : An FCC Spectrum Auction Simulator for Autonomous Bidding Agents
Abstract. We introduce FAucS, a software testbed for studying automated agent bidding strategies in simulated auctions, specifically the United States FCC wireless frequency spect...
János A. Csirik, Michael L. Littman, Satind...
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 11 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
SAC
2000
ACM
15 years 11 months ago
A Mobile Agent Infrastructure for the Mobility Support
The mobility of terminals and users is a crucial issue in the open global system represented by the Internet. Supporting terminal and user mobility requires a middleware infrastru...
Paolo Bellavista, Antonio Corradi, Cesare Stefanel...
CISIS
2010
IEEE
15 years 11 months ago
A Pattern-Based Coordination and Test Framework for Multi-Agent Simulation of Production Automation Systems
— Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembl...
Thomas Moser, Munir Merdan, Stefan Biffl
EUMAS
2006
15 years 8 months ago
DimaX: A Fault-Tolerant Multi-Agent Platform
Fault tolerance is an important property of large-scale multiagent systems as the failure rate grows with both the number of the hosts and deployed agents, and the duration of com...
Nora Faci, Zahia Guessoum, Olivier Marin