2624 search results - page 196 / 525 » On Business Process Model Transformations |
156
click to vote
MODELS
2007
Springer
16 years 18 days ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
173
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
182
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
This paper comes back to the problem of coordination of cooperative activities with a Workflow management system. First, we describe the differences that we have noted between busi...
173
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, we discuss the application of the two-dimensio- nal paired representation for processing medical images. This representation leads to the effective solution of the ...
154
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...