2005 search results - page 40 / 401 » Business Process Knowledge Modelling: Method and Tool |
ESWA
2008
14 years 9 months ago
2008
The recent deregulation of telecommunication industry by the Taiwanese government has brought about the acute competition for Internet Service Providers (ISP). Taiwan's ISP i...
ICEIS
2007
IEEE
15 years 4 months ago
2007
IEEE
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
BPM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
104
click to vote
BPM
2009
Springer
14 years 10 months ago
2009
Springer
Nowadays, all kinds of information systems store detailed information in logs. Examples of such systems include classical workflow management systems (Staffware), ERP systems (SAP)...