Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
This paper presents efficient automatic code synthesis techniques from dataflow graphs for multimedia applications. Since multimedia applications require large size buffers contai...
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
The current trend towards dynamic and highly scalable service provisioning fosters the rise of Software as a Service (SaaS) platforms and so called Compute Clouds. The on-demand p...
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...