1915 search results - page 245 / 383 » A language for functional interpretation of model based simu... |
132
click to vote
AAMAS
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a model for adaptive agents. The model describes the behavior of an agent as a graph of roles, in short a behavior graph. Links between roles provide conditions...
150
click to vote
AVI
2008
15 years 6 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
141
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Computational Game Theory is a way to study and evaluate behaviors using game theory models, via agent-based computer simulations. One of the most known example of this a...
116
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the saturation throughput analysis of IEEE 802.11g (ERP-OFDM) networks. The presented work is based on the Markov model previously introduced and validated by t...
179
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...