Sciweavers

2624 search results - page 226 / 525
» On Business Process Model Transformations
Sort
View
CIDR
2007
92views Algorithms» more  CIDR 2007»
15 years 8 months ago
Consistent Streaming Through Time: A Vision for Event Stream Processing
Event processing will play an increasingly important role in constructing enterprise applications that can immediately react to business critical events. Various technologies have...
Roger S. Barga, Jonathan Goldstein, Mohamed H. Ali...
UML
2001
Springer
15 years 11 months ago
A Formal Mapping between UML Static Models and Algebraic Specifications
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
Liliana Favre
DATE
2009
IEEE
129views Hardware» more  DATE 2009»
16 years 1 months ago
An automated flow for integrating hardware IP into the automotive systems engineering process
This contribution shows and discusses the requirements and constraints that an industrial engineering process defines for the integration of hardware IP into the system developmen...
Jan-Hendrik Oetjens, Ralph Görgen, Joachim Ge...
ICWS
2010
IEEE
15 years 8 months ago
A MVC Framework for Policy-Based Adaptation of Workflow Processes: A Case Study on Confidentiality
Abstract--Most work on adaptive workflows offers insufficient flexibility to enforce complex policies regarding dynamic, evolvable and robust workflows. In addition, many proposed ...
Kristof Geebelen, Eryk Kulikowski, Eddy Truyen, Wo...
ICIP
2009
IEEE
16 years 7 months ago
Joint Recovery And Segmentation Of Polarimetric Images Using A Compound Mrf And Mixture Modeling
We propose a new approach for the restoration of polarimetric Stokes images, capable of simultaneously segmenting and restoring the images. In order to easily handle the admissibi...