1679 search results - page 13 / 336 » Variability and Component Composition |
CA
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper discusses the problem of motion processing and proposes the use of a mathematical model, which describes a motion signal as a path with variable harmonic components. We...
SCP
2010
14 years 8 months ago
2010
Several scienti c bottlenecks have been identi ed in existing component-based approaches. em, we focus on the identi cation of a relevant abstraction for the component expression ...
ACTA
2004
14 years 9 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
PFE
2001
Springer
15 years 2 months ago
2001
Springer
56
Voted
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...