State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many...
Kees M. van Hee, Natalia Sidorova, Lou J. Somers, ...
This paper describes the development and validation of a dynamic multi-agent model to simulate social learning of adolescence-limited criminal behaviour. The parameters of the age...
Tibor Bosse, Charlotte Gerritsen, Michel C. A. Kle...
This paper presents a hypothesis about an undiscovered class of mechanisms that exist in standard GP. Rather than being intentionally designed, these mechanisms would be an uninten...
The assumption in moving system modelling to higher levels is that this improves the design process by allowing exploration of the architecture, providing an unambiguous specifica...
—In this paper we study the protocol insecurity problem for time dependent security protocols with a finite number of sessions, extending to the timed case the results of M. Rus...