Sciweavers

20833 search results - page 420 / 4167
» Hidden process models
Sort
View
BPSC
2009
152views Business» more  BPSC 2009»
15 years 8 months ago
Process Modeling as a Basis for Auditing Information Privacy
Ralph Herkenhöner, Hermann de Meer
CRISIS
2009
15 years 8 months ago
A reference model for risk-aware business process management
The major contribution of this paper is the
Stefan Jakoubi, Simon Tjoa
APLAS
2010
ACM
15 years 7 months ago
Verification of Tree-Processing Programs via Higher-Order Model Checking
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi