Agent-based simulation is increasingly used to analyze the performance of complex systems. There are two main ways agentbased models are built -- from equation-based models and di...
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
In this paper we attempt to parallelise a commodity database for OLAP on a cluster of commodity PCs by using a distributed high-performance storage subsystem. By parallelising the...
Embryogenic evolution emulates in silico cell-like entities to get more powerful methods for complex evolutionary tasks. As simulations have to from the biological model, implicit ...