10038 search results - page 654 / 2008 » Model Checking for Managers |
226
click to vote
CLEIEJ
2004
15 years 7 months ago
2004
This paper presents a component-based product line for workflow management systems. The process followed to design the product line was based on the Catalysis method. Extensions w...
154
click to vote
CMOT
2002
15 years 7 months ago
2002
Organizational change management is concerned with realizing strategies using models, methods and prescriptions that seek to guide the three key elements of strategic management p...
194
click to vote
IDEAS
2006
IEEE
16 years 1 months ago
2006
IEEE
As data stream management systems (DSMSs) become more and more popular, there is an increasing need to protect such systems from adversaries. In this paper we present an approach ...
177
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
workflow technology is becoming the key technologyfor businessprocess modeling, reengineering and automating. During the workflowspecification, enactment and administmtion, there ...
185
click to vote
GCC
2006
Springer
15 years 11 months ago
2006
Springer
This paper shows that flexibility of workflow executions, i.e., the ability to deviate from a given model on the fly and during execution, is crucial for a wide applicability of w...