Sciweavers

2055 search results - page 45 / 411
» Generic Model Refactorings
Sort
View
KBSE
2007
IEEE
15 years 4 months ago
Tools for model-based security engineering: models vs. code
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...
Jan Jürjens, Yijun Yu
AOSD
2003
ACM
15 years 3 months ago
Quantifying aspects in middleware platforms
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...
Charles Zhang, Hans-Arno Jacobsen
ATAL
2008
Springer
14 years 12 months ago
Engineering large-scale distributed auctions
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, ...
IS4TH
2003
Springer
15 years 3 months ago
GeRTiSS: A Generic Multi-model Surgery Simulator
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...
Carlos Monserrat, Oscar López, Ullrich Meie...
WSC
2008
15 years 8 days ago
Generic simulation for rail-road container terminals
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...
Thouraya Benna, Manfred Gronalt