Sciweavers

3931 search results - page 591 / 787
» Separation logic and abstraction
Sort
View
MICCAI
2007
Springer
16 years 1 months ago
Fast and Robust Analysis of Dynamic Contrast Enhanced MRI Datasets
Abstract. A fully automated method for quantitative analysis of dynamic contrast-enhanced MRI data acquired with low and high field scanners, using spin echo and gradient echo seq...
Olga Kubassova, Mikael Boesen, Roger D. Boyle, Mar...
MIDDLEWARE
2007
Springer
16 years 1 months ago
A Policy Management Framework for Content-Based Publish/Subscribe Middleware
Abstract. Content-based Publish/Subscribe (CPS) is a powerful paradigm providing loosely-coupled, event-driven messaging services. Although the general CPS model is well-known, man...
Alex Wun, Hans-Arno Jacobsen
MIDDLEWARE
2007
Springer
16 years 1 months ago
Promoting levels of openness on component-based adaptable middleware
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...
Tarcisio da Rocha, Anna-Brith Arntsen, Arne Ketil ...
MIMI
2007
Springer
16 years 1 months ago
New Doppler-Based Imaging Method in Echocardiography with Applications in Blood/Tissue Segmentation
Abstract. Knowledge Based Imaging is suggested as a method to distinguish blood from tissue signal in transthoracial echocardiography. Parametric model for the autocorrelation func...
Sigve Hovda, Håvard Rue, Bjørn Olstad
MODELS
2007
Springer
16 years 1 months ago
Enhancing UML State Machines with Aspects
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
Gefei Zhang, Matthias M. Hölzl, Alexander Kna...