643 search results - page 55 / 129 » Modeling Control Objectives for Business Process Compliance |
BMCV
2000
Springer
14 years 2 days ago
2000
Springer
Recent psychological and neurological evidence suggests that biological object recognition is a process of matching sensed images to stored iconic memories. This paper presents a p...
ZUM
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
RTAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling e...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
ARIA, ARchitecture for Interactive Arts, is a middleware to process, filter, and fuse sensory inputs and actuate responses in real-time. An ARIA media processing workflow descri...