5792 search results - page 173 / 1159 » Communicating With Multiple Agents |
188
click to vote
SCN
2011
Springer
14 years 10 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
132
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
In many wireless applications, it is highly desirable to have a fast mechanism to resolve or select the packet from the user with the highest priority. Furthermore, individual pri...
122
Voted
ISQED
2010
IEEE
15 years 2 months ago
2010
IEEE
Multiple use-case chip multiprocessor (CMP) applications require adaptive on-chip communication fabrics to cope with changing use-case performance needs. Networks-on-chip (NoC) ha...
140
Voted
DALT
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
125
Voted
IVEVA
2004
15 years 5 months ago
2004
In this work, an interaction model between artificial life agents (creatures) is proposed, which allows studying emergent social behavior of agents. This model describes the enviro...