454 search results - page 60 / 91 » Modeling and analysis of multi-agent systems using petri net... |
107
Voted
AI
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we address the problem of agents engaged in a distributed costly two-sided search for pairwise partnerships in Multi-Agent Systems (MAS). While traditional two-sided...
115
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
118
click to vote
DSD
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a flexible method for bus and network on chip performance analysis, which is based on the adaptation of workload models to resemble various applications. Our analysis m...
AIPS
2007
15 years 4 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
206
click to vote
AMEC
2004
Springer
15 years 7 months ago
2004
Springer
In many two-sided search applications, autonomous agents can enjoy the advantage of parallel search, powered by their ability to handle an enormous amount of information, in a shor...