Sciweavers

43 search results - page 3 / 9
» Trends in business process analysis - from verification to p...
Sort
View
BPM
2000
Springer
133views Business» more  BPM 2000»
13 years 8 months ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
Wil M. P. van der Aalst
JWSR
2007
114views more  JWSR 2007»
13 years 4 months ago
Development of Distance Measures for Process Mining, Discovery and Integration
: Business processes continue to play an important role in today’s service-oriented enterprise computing systems. Mining, discovering, and integrating process-oriented services h...
Joonsoo Bae, Ling Liu, James Caverlee, Liang-Jie Z...
DKE
2008
135views more  DKE 2008»
13 years 5 months ago
Analyzing interacting WS-BPEL processes using flexible model generation
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
Niels Lohmann, Peter Massuthe, Christian Stahl, Da...
DAC
2009
ACM
14 years 5 months ago
Analysis and mitigation of process variation impacts on Power-Attack Tolerance
Embedded cryptosystems show increased vulnerabilities to implementation attacks such as power analysis. CMOS technology trends are causing increased process variations which impac...
Lang Lin, Wayne P. Burleson
AUSDM
2007
Springer
93views Data Mining» more  AUSDM 2007»
13 years 11 months ago
Customer Analytics Projects: Addressing Existing Problems with a Process that Leads to Success
This article explicitly outlines an approach designed to allow optimal utilisation of Analytics in the industry setting. The paper focuses on the key stages of the Analytics proce...
Inna Kolyshkina, Simeon J. Simoff