3392 search results - page 430 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
169
click to vote
MATES
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Taxonomies in the area of Multi-Agent Systems (MAS) classify problems according to the underlying principles and assumptions of the agents’ abilities, rationality and i...
174
click to vote
TABLEAUX
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
177
click to vote
NAR
2010
14 years 11 months ago
2010
WormBase (http://www.wormbase.org) is a central data repository for nematode biology. Initially created as a service to the Caenorhabditis elegans research field, WormBase has evo...
130
Voted
ASIAN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
158
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
Motivation: Data centers are a critical component of modern IT infrastructure but are also among the worst environmental offenders through their increasing energy usage and the re...