20833 search results - page 293 / 4167 » Hidden process models |
149
click to vote
CMSB
2008
Springer
15 years 6 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
145
click to vote
IEEEICCI
2006
IEEE
15 years 10 months ago
2006
IEEE
Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process. To fulï...
118
Voted
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...
119
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Business-driven development favors the construction of process modifferent abstraction levels and by different people. As a consequence, there is a demand for consolidati...
141
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...