We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
The functional characteristics of market-based solutions are typically best observed through the medium of simulation, data-gathering and subsequent visualization. We previously d...
Peter Gradwell, Michel A. Oey, Reinier J. Timmer, ...
The construction of surgery simulators will be a key tool in the development and diffusion of minimally invasive surgery. Nowadays, most simulators are oriented to training surgeon...
Hinterland terminals enable the transshipment of containers between various modes of transport and play a significant role in intermodal freight transportation. In this paper we p...