21490 search results - page 474 / 4298 » Business Process Modeling |
158
Voted
IFIP
1993
Springer
15 years 8 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
146
click to vote
CMSB
2008
Springer
15 years 6 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
114
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
139
click to vote
ICALP
1997
Springer
15 years 8 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
132
click to vote
JDCTA
2010
14 years 11 months ago
2010
This study develops a least squares support vector machines (LS-SVM) based model for bivariate process to diagnose abnormal patterns of process mean vector, and to help identify a...