In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
Improper dose control in X-ray cardio-vascular systems leads to a reduced Signal-to-Noise Ratio (SNR) in regions of interest of the X-ray image. We aim at reducing the influence o...
Software defect detection aims to automatically identify defective software modules for efficient software test in order to improve the quality of a software system. Although many...
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...
We propose a new method for imaging sound speed in breast tissue from measurements obtained by ultrasound tomography (UST) scanners. Given the measurements, our algorithm finds a...
Ivana Tosic, Ivana Jovanovic, Pascal Frossard, Mar...