Sciweavers

14783 search results - page 194 / 2957
» Quantum Information Processing
Sort
View
OTM
2005
Springer
15 years 9 months ago
Colored Petri Nets to Verify Extended Event-Driven Process Chains
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
Kees M. van Hee, Olivia Oanea, Natalia Sidorova
141
Voted
CAISE
1999
Springer
15 years 7 months ago
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
Wasim Sadiq, Maria E. Orlowska
123
Voted
CAISE
2006
Springer
15 years 7 months ago
Controlling the Level of Business Process Instance Flexibility via Rules of Planning
When an organization decides on the level of flexibility in handling business process instances, it needs to impose this level in operational practice. The way of imposing a given ...
Ilia Bider, Alexey Striy
HICSS
2007
IEEE
96views Biometrics» more  HICSS 2007»
15 years 9 months ago
Enhancing Workflow Automation in Insurance Underwriting Processes with Web Services and Alerts
Underwriting is one of the important processes in insurance operations. The applicant's information, including various kinds of medical information, must be evaluated before ...
Raymond C. M. Lee, Kai-Pan Mark, Dickson K. W. Chi...
109
Voted
BPM
2007
Springer
125views Business» more  BPM 2007»
15 years 9 months ago
What Makes Process Models Understandable?
Abstract. Despite that formal and informal quality aspects are of significant importance to business process modeling, there is only little empirical work reported on process mode...
Jan Mendling, Hajo A. Reijers, Jorge Cardoso