Sciweavers

7058 search results - page 200 / 1412
» Modelling Business Process Performance
Sort
View
SIGECOM
2003
ACM
174views ECommerce» more  SIGECOM 2003»
15 years 7 months ago
Collaboration software to reduce inventory and increase response
Some recent trends in business and manufacturing hold the promise of greater profits, yet, due to profit-robbing inventory increases, this promise has not been fully realized. [9]...
Indu Bingham, Barbara Hoefle, Kim Phan, Jim Sizemo...
118
Voted
WECWIS
2002
IEEE
124views ECommerce» more  WECWIS 2002»
15 years 7 months ago
Flexible Inter-Enterprise Workflow Management using E-Services
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...
Jie Meng, Raja Krithivasan, Stanley Y. W. Su, Abde...
BPM
2010
Springer
126views Business» more  BPM 2010»
15 years 15 days ago
Symbolic Execution of Acyclic Workflow Graphs
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...
Cédric Favre, Hagen Völzer
VLDB
2001
ACM
110views Database» more  VLDB 2001»
15 years 6 months ago
Warehousing Workflow Data: Challenges and Opportunities
Workflow management systems (WfMSs) are software platforms that allow the definition, execution, monitoring, and management of business processes. WfMSs log every event that occur...
Angela Bonifati, Fabio Casati, Umeshwar Dayal, Min...
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 4 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
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...
Natallia Kokash, Farhad Arbab