Sciweavers

2736 search results - page 349 / 548
» Implementable allocation rules
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Verifying Social Expectations by Model Checking Truncated Paths
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
Stephen Cranefield, Michael Winikoff
ATVA
2008
Springer
86views Hardware» more  ATVA 2008»
15 years 8 months ago
NetQi: A Model Checker for Anticipation Game
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
Elie Bursztein
ESAW
2008
Springer
15 years 8 months ago
Interaction Biases in Multi-Agent Simulations: An Experimental Study
Abstract. How to ensure that two different implementations of a simulation will produce the same results ? In order to assure simulation reproducibility, some domain-independent fu...
Yoann Kubera, Philippe Mathieu, Sébastien P...
EUROPAR
2008
Springer
15 years 8 months ago
Data Mining Algorithms on the Cell Broadband Engine
The Cell Broadband Engine (CBE) is a new heterogeneous multi-core processor from IBM, Sony and Toshiba, and provides the potential to achieve an impressive level of performance for...
Rubing Duan, Alfred Strey
EWCBR
2008
Springer
15 years 8 months ago
Realising a CBR-based approach for Computer Cooking Contest with e: IAS
Abstract. This paper describes a web-based CBR application competing at the first Computer Cooking Contest at the ECCBR 2008. It describes the technical realisation of our system, ...
Alexandre Hanft, Norman Ihle, Kerstin Bach, R&eacu...