19342 search results - page 72 / 3869 » Decentralised Process Modelling |
100
click to vote
APSEC
2004
IEEE
15 years 6 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...
102
click to vote
BPM
2008
Springer
15 years 4 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...
121
click to vote
ICALP
1997
Springer
15 years 6 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...
103
Voted
BPM
2005
Springer
15 years 8 months ago
2005
Springer
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
120
click to vote
BPM
2008
Springer
15 years 4 months ago
2008
Springer
In the immediate aftermath of a disaster routine processes, even if specifically designed for such a situation, are not enacted blindly. Actions and processes rather adapt their be...