4617 search results - page 286 / 924 » Automation of Diagrammatic Reasoning |
137
click to vote
PPAM
2001
Springer
15 years 11 months ago
2001
Springer
We present an automated deduction system for equational reasoning combining two different parallelization/distribution schemes: Strategy-compliant parallelization on the level of ...
152
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
202
click to vote
EEE
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
151
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
165
click to vote
DEBU
2006
15 years 6 months ago
2006
Storage virtualization in modern storage systems allows variability in the number of "physical" disks supporting a single "virtual" disk. In practice, IO workl...