4290 search results - page 820 / 858 » Formal Approaches to Teamwork |
CLUSTER
2007
IEEE
15 years 6 months ago
2007
IEEE
— The thermal environment of data centers plays a significant role in affecting the energy efficiency and the reliability of data center operation. A dominant problem associate...
AIIA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Game generation systems perform automated, intelligent design of games (i.e. videogames, boardgames), reasoning about both the rule system of the game and the visual real...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
102
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
129
click to vote
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...