Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Within Criminology, the process of crime displacement is usually explained by referring to the interaction of three types of agents: criminals, passersby, and guardians. Most exis...
Tibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn...
Computer simulation is the most common approach to studying wireless ad-hoc routing algorithms. The results, however, are only as good as the models the simulation uses. One shoul...
Jason Liu, Yougu Yuan, David M. Nicol, Robert S. G...
Models to understand the impact of management practices on retail performance are often simplistic and assume low levels of noise and linearity. Of course, in real-life, retail op...
Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Chri...