553 search results - page 15 / 111 » A Perspective on Component Refinement |
ICTAC
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
OMER
2001
13 years 8 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
ECOOPW
1999
Springer
13 years 11 months ago
1999
Springer
As the properties of components have gradually become clearer, attention has started to turn to the architectural issues which govern their interaction and composition. In this pa...
ECTEL
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we investigate the components of a Research 2.0 infrastructure. We propose building blocks and their concrete implementation to leverage Research 2.0 practice and te...
ADCM
2006
13 years 6 months ago
2006
In this paper, we present a necessary and sufficient condition for the existence of solutions in a Sobolev space Wk p (Rs )(1 p ) to a vector refinement equation with a general dil...