290 search results - page 16 / 58 » Using Formal Analysis Techniques in Business Process Redesig... |
84
Voted
SEFM
2005
IEEE
15 years 5 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
120
Voted
BPM
2004
Springer
15 years 5 months ago
2004
Springer
Increasingly information systems log historic information in a systematic way. Workflow management systems, but also ERP, CRM, SCM, and B2B systems often provide a so-called “ev...
92
Voted
IEEESCC
2010
IEEE
15 years 3 months ago
2010
IEEE
—There is a global consensus on the need to reduce our collective carbon footprint. While much research attention has focused on developing alternative energy sources, automotive...
110
click to vote
WSFM
2007
Springer
15 years 5 months ago
2007
Springer
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
83
Voted
BPM
2009
Springer
15 years 6 months ago
2009
Springer
It is vital to use accurate models for the analysis, design, and/or control of business processes. Unfortunately, there are often important discrepancies between reality and models...