Sciweavers

1838 search results - page 33 / 368
» Process modelling: the deontic way
Sort
View
UAI
1998
15 years 14 days ago
Hierarchical Solution of Markov Decision Processes using Macro-actions
tigate the use of temporally abstract actions, or macro-actions, in the solution of Markov decision processes. Unlike current models that combine both primitive actions and macro-...
Milos Hauskrecht, Nicolas Meuleau, Leslie Pack Kae...
BPM
2003
Springer
75views Business» more  BPM 2003»
15 years 4 months ago
Security in Business Process Engineering
We present a general methodology for integrating arbitrary security requirements in the development of business processes in a both elegant and rigorous way. We show how trust rela...
Michael Backes, Birgit Pfitzmann, Michael Waidner
88
Voted
CCE
2010
14 years 8 months ago
Multi-scale methods and complex processes: A survey and look ahead
AbstrAct A comprehensive overview of numerical methodologies currently available for analyzing and building understanding of complex processes is presented. Both equation-free and ...
Angelo Lucia
WSC
2004
15 years 15 days ago
Validation and Verification of Simulation Models
This paper discusses validation and verification of simulation models. The different approaches to deciding model validity are presented; how model validation and verification rel...
Robert G. Sargent
ISPW
2007
IEEE
15 years 5 months ago
An Algebraic Approach for Managing Inconsistencies in Software Processes,
To produce quality software and evolve them in an economic and timely fashion, enactable software process models are used for regulating development activities with the support of ...
Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, ...