1120 search results - page 201 / 224 » A Formal Framework for Interactive Agents |
BMCBI
2006
13 years 6 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
This paper argues that the agent-based simulation approach is just the one appropriate to the social sciences (including economics). Although there were many predecessor approache...
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...
JCS
2008
13 years 6 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
SCFBM
2008
13 years 6 months ago
2008
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...