Sciweavers

93 search results - page 18 / 19
» Using Agents as a Currency of Exchange between End-Users
Sort
View
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
13 years 24 days ago
Effect of network structure on the stability margin of large vehicle formation with distributed control
We study the problem of distributed control of a large network of double-integrator agents to maintain a rigid formation. A few lead vehicles are given information on the desired t...
He Hao, Prabir Barooah, J. J. P. Veerman
CSFW
2007
IEEE
14 years 4 days ago
LTL Model Checking for Security Protocols
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
Alessandro Armando, Roberto Carbone, Luca Compagna
IJVR
2008
118views more  IJVR 2008»
13 years 5 months ago
HERA: Learner Tracking in a Virtual Environment
The main goals of using simulations and Virtual Environments for Training/Learning (VET/L) are to avoid risks and unwanted consequences, to reduce training costs, and to promote tr...
Kahina Amokrane, Domitile Lourdeaux, Jean-Marie Bu...
IICS
2010
Springer
13 years 9 months ago
Self-Organizing Ant-based Information Gossiping Algorithm for P2P Networks
They appeared in our life only few years ago and now they are everywhere: computers have become ubiquitous and, almost, irreplaceable. Classical ways of creating, managing and exch...
Christophe Guéret, Nicolas Monmarché...
DAWAK
2001
Springer
13 years 10 months ago
Matchmaking for Structured Objects
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...
Thomas Eiter, Daniel Veit, Jörg P. Mülle...