1679 search results - page 172 / 336 » Variability and Component Composition |
ENTCS
2010
13 years 9 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
ANSOFT
1999
13 years 9 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
In this paper, we present a physics-based deformable model framework for the quantification of shape and motion parameters of the Left Anterior Descending (LAD) coronary artery in ...
WWW
2007
ACM
14 years 10 months ago
2007
ACM
XML Schema documents are defined using an XML syntax, which means that the idea of generating schema documentation through standard XML technologies is intriguing. We present X2Do...