2623 search results - page 362 / 525 » tools 2010 |
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Requirements Driven Agent Collaboration (RDAC) is a mechanism where the self-interested service agents actively and autonomously search for the required services submitted by the ...
C3S2E
2010
ACM
13 years 11 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
CCGRID
2010
IEEE
13 years 11 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
CCGRID
2010
IEEE
13 years 11 months ago
2010
IEEE
With the increasing functionality and complexity of distributed systems, resource failures are inevitable. While numerous models and algorithms for dealing with failures exist, th...
CEC
2010
IEEE
13 years 11 months ago
2010
IEEE
The TORCS Endurance World Championship is an international competition in which programmers develop and tune their drivers to race against each other using TORCS, a state-of-the-ar...