54 search results - page 5 / 11 » A Hybrid Approach for Business Process Verification |
DKE
2010
13 years 7 months ago
2010
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
IEAAIE
1995
Springer
13 years 11 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
DKE
2008
13 years 7 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
SAC
2009
ACM
14 years 11 days ago
2009
ACM
The future of service-centric environments suggests that organizations will dynamically discover and utilize web services for new business processes particularly those that span m...