We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
— Aircraft noise is influenced by many complex factors and it is difficult to devise an accurate mathematical model to simulate it with respect to operations at an airport. Thi...
Abstract. The modern society depends on the provision and distribution of information. We observe the development of world-wide information markets. Traders play an important role ...
Michael Christoffel, Thorwald Franke, Stefan Kotka...
We discuss design issues related to the transformation of a mature Agent-Based Model (ABM) for computational epidemiology into a “grid-aware” version. EpiSims is a distributed...
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...