Search Sciweavers | Sciweavers

5777 search results - page 35 / 1156

» The palladio component model

click to vote

ECBS
2010
IEEE

224views Hardware» more ECBS 2010»

Timed Automata Model for Component-Based Real-Time Systems

15 years 4 months ago

Download emuco.is.ruhr-uni-bochum.de

—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal veriﬁcation techniques provide the means for design...

Georgiana Macariu, Vladimir Cretu

claim paper

Read More »

click to vote

HCI
2007

118views Human Computer Interaction» more HCI 2007»

Tasks Models Merging for High-Level Component Composition

14 years 11 months ago

Download www.usixml.org

Abstract. As users become more and more demanding about the software environments they use, they need environments offering them the possibility to integrate new tools in response ...

Arnaud Lewandowski, Sophie Lepreux, Grégory...

claim paper

Read More »

click to vote

COMPSAC
2007
IEEE

135views Software Engineering» more COMPSAC 2007»

A Component Model for the AUTOSAR Virtual Function Bus

15 years 1 months ago

Download www.complang.tuwien.ac.at

To reduce cost and time to market of automotive software systems and simultaneously increase the products' quality, the component paradigm has achieved broad acceptance withi...

Dietmar Schreiner, Karl M. Göschka

claim paper

Read More »

click to vote

IRI
2008
IEEE

114views Information Technology» more IRI 2008»

Data component based management of reservoir simulation models

15 years 4 months ago

Download halcyon.usc.edu

The management of reservoir simulation models has been an important need of engineers in petroleum industry. However, due to data sharing among reservoir simulation models, data r...

Cong Zhang, Amol Bakshi, Viktor K. Prasanna

claim paper

Read More »

click to vote

CBMS
2001
IEEE

137views Medical Imaging» more CBMS 2001»

Proteus-A Model for Clinical Protocols Created from Knowledge Components

15 years 1 months ago