This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
Many attempts have been made to capture, on the one hand, the nature of knowledge, and on the other hand, the nature of context. In this paper, we compare the two concepts of conte...
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
Earliest arrival flows model a central aspect of evacuation planning: In a dangerous situation, as many individuals as possible should be rescued at any point in time. Unfortunate...
A system identification methodology that makes use of data mining techniques to improve the reliability of identification is presented in this paper. An important aspect of the me...