75 search results - page 8 / 15 » Modeling and Verification of Distributed Autonomous Agents U... |
119
Voted
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
136
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
125
click to vote
SIGSOFT
2006
ACM
16 years 2 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
135
click to vote
SFM
2005
Springer
15 years 7 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
95
Voted
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...