928 search results - page 49 / 186 » Towards Design Space Exploration for Biological Systems |
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
We attack the problem of game balancing by using a coevolutionary algorithm to explore the space of possible game strategies and counter strategies. We define balanced games as g...
128
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
128
click to vote
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...
126
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
116
click to vote
ASM
2010
ASM
15 years 5 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...