290 search results - page 15 / 58 » Using Formal Analysis Techniques in Business Process Redesig... |
129
click to vote
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. Analyzing the execution of such processes is critical for enforcing business ...
127
click to vote
BPM
2008
Springer
15 years 5 months ago
2008
Springer
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
109
Voted
BPM
2007
Springer
15 years 9 months ago
2007
Springer
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...
141
Voted
VLDB
2001
ACM
15 years 8 months ago
2001
ACM
Business process automation technologies are being increasingly used by many companies to improve the efficiency of both internal processes as well as of e-services offered to cus...
137
Voted
EGOV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Research works and surveys focusing on e-Government Digital Services availability and usage, reveal that often services are available but ignored by citizens. In our hypo...