488 search results - page 24 / 98 » On the Formal Generation of Process Redesigns |
WIKIS
2005
ACM
15 years 5 months ago
2005
ACM
In this article we examine the integration of communities of practice supported by a wiki into work processes. Linear structures are often inappropriate for the execution of knowl...
110
click to vote
INFORMS
1998
14 years 11 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
85
Voted
SAC
2010
ACM
15 years 4 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
132
Voted
OGAI
1991
15 years 3 months ago
1991
The task of the knowledge-based presentation system WIP is the generation of a variety of multimodal documents from an input consisting of a formal description of the communicativ...
128
Voted
DMDW
2003
15 years 1 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...