Sciweavers

2957 search results - page 98 / 592
» Processing Self Corrections
Sort
View
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
14 years 3 months ago
DAG Synchronization Constraint Language for Business Processes
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
Qinyi Wu, Akhil Sahai
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 3 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
ICDE
2005
IEEE
176views Database» more  ICDE 2005»
14 years 10 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
ADVIS
2004
Springer
14 years 2 months ago
On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
Costin Badica, Chris Fox
APBC
2003
13 years 10 months ago
Microarray Image Processing Based on Clustering and Morphological Analysis
Microarrays allow the monitoring of expressions for tens of thousands of genes simultaneously. Image analysis is an important aspect for microarray experiments that can affect sub...
Shuanhu Wu, Hong Yan