Sciweavers

14704 search results - page 2603 / 2941
» computing 2007
Sort
View
FASE
2007
Springer
15 years 11 months ago
Scenario-Driven Dynamic Analysis of Distributed Architectures
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
George Edwards, Sam Malek, Nenad Medvidovic
FCT
2007
Springer
15 years 11 months ago
FJMIP: A Calculus for a Modular Object Initialization
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
Viviana Bono, Jaroslaw D. M. Kusmierek
FCT
2007
Springer
15 years 11 months ago
Rewriting Systems with Data
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Miha...
FIMH
2007
Springer
15 years 11 months ago
Constitutive Modeling of Cardiac Tissue Growth
Abstract. Long term responses of the heart to e.g. infarction or surgical intervention are related to response of the tissue to changes in the mechanical environment. The tissue re...
Wilco Kroon, Tammo Delhaas, Theo Arts, Peter Boven...
FIMH
2007
Springer
15 years 11 months ago
Statistical Comparison of Cardiac Fibre Architectures
Abstract. In this paper, a statistical atlas of DT-MRIs based on a population of nine ex vivo normal canine hearts is compared with a human cardiac DT-MRI and a commonly used synth...
Jean-Marc Peyrat, Maxime Sermesant, Xavier Pennec,...
« Prev « First page 2603 / 2941 Last » Next »