1675 search results - page 118 / 335 » Compositional Model-Based Design |
FROCOS
2005
Springer
14 years 2 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...
EMSOFT
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
This paper presents a sparse representation of 2D planar shape through the composition of warping functions, termed formlets, localized in scale and space. Each formlet subjects t...
AOSD
2010
ACM
14 years 2 months ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
HAPTICS
2009
IEEE
14 years 4 months ago
2009
IEEE
This paper presents two graphical authoring tools, posVibEditor and VibScoreEditor, developed for the intuitive and convenient design of vibrotactile patterns. The posVibEditor is...