Sciweavers

2624 search results - page 249 / 525
» On Business Process Model Transformations
Sort
View
CASE
2011
102views more  CASE 2011»
14 years 6 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
ICDE
2005
IEEE
176views Database» more  ICDE 2005»
16 years 8 months ago
Optimizing ETL Processes in Data Warehouses
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
Alkis Simitsis, Panos Vassiliadis, Timos K. Sellis
TSMC
2010
15 years 1 months ago
Multiobjective Optimization of Temporal Processes
Abstract--This paper presents a dynamic predictiveoptimization framework of a nonlinear temporal process. Datamining (DM) and evolutionary strategy algorithms are integrated in the...
Zhe Song, Andrew Kusiak
RIDE
1998
IEEE
15 years 10 months ago
A Scalable Approach to Continuous-Media Processing
Techniques that emphasize software reuse and scalability are becoming more important than ever. In this paper we present a component-basedmodel for continuous-mediaapplications. C...
Dragos-Anton Manolescu, Klara Nahrstedt
GI
2009
Springer
15 years 4 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz