6 search results - page 2 / 2 » Hector: Software Model Checking with Cooperating Analysis Pl... |
182
Voted
CLIMA
2011
14 years 1 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...