2838 search results - page 292 / 568 » Verifying Controlled Components |
138
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
114
Voted
DAIS
2003
15 years 4 months ago
2003
Communication in distributed applications across a wide area network needs to cope with heterogenous and constantly changing network conditions. A promising approach to address thi...
110
Voted
ECIS
2003
15 years 4 months ago
2003
Multiple combinations of hardware and network components can be selected to design an information technology (IT) infrastructure that satisfies performance requirements. The profe...
126
Voted
FMOODS
2003
15 years 4 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
110
click to vote
WSCG
2004
15 years 4 months ago
2004
We present a fully automatic scheme for the registration of MR images. The registration is carried out as a combination of an affine and an elastic transformation. The affine part...