1743 search results - page 193 / 349 » Aligning Business Process Models |
167
click to vote
WECWIS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a solution to achieve dynamic Inter-enterprise workflow management using the eservices provided by collaborative e-business enterprises. E-services are distrib...
156
click to vote
BPM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...
174
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
150
click to vote
GI
2005
Springer
16 years 1 hour ago
2005
Springer
: Rapid evolution of modern Information Systems and Process-Aware Information Systems (PAIS) in particular requires transactional execution of business logic. The paper introduces ...
141
click to vote
DAGM
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We consider the problem of simultaneously registering several images to a 3D model. We propose a global approach based on mutual information that extends previous methods...