1675 search results - page 171 / 335 » Compositional Model-Based Design |
HYBRID
2010
Springer
13 years 7 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
HCI
2009
13 years 6 months ago
2009
ImproV is a video compositing system for live video. It uses a dataflow diagram to represent the video processing flow and allows performers to edit the diagrams even while the vid...
DAC
2003
ACM
14 years 10 months ago
2003
ACM
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
EICS
2009
ACM
14 years 1 months ago
2009
ACM
The success of service-oriented computing has important implications on how people develop user interfaces. This paper discusses a method for supporting the development of interac...
ENTCS
2010
13 years 9 months ago
2010
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...