963 search results - page 116 / 193 » Modeling and analysis of real -time systems with mutex compo... |
150
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, the problem of retrospective correction of intensity inhomogeneity in magnetic resonance (MR) images is addressed. A novel model-based correction method is proposed,...
181
click to vote
ISN
1999
Springer
15 years 10 months ago
1999
Springer
The ACTS FlowThru project aims to build a management system which supports the flow of management information across organisational and technological domains by reusing components ...
167
click to vote
IS4TH
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we present the current state of our research on simulation of temporal bone surgical procedures. We describe the results of tests performed on a virtual surgical trai...
164
click to vote
ENVSOFT
2000
15 years 6 months ago
2000
A model is presented for the analysis of bioremediation applied to an ex situ soil pile. The approach is based on the remediation of a pile containing the contaminated soil, which...
154
click to vote
SAFECOMP
2001
Springer
15 years 11 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...