46 search results - page 2 / 10 » CoAuto: A Formal Model for Cooperative Processes |
TAGT
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...
ISPDC
2003
IEEE
13 years 10 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
ISPW
2006
IEEE
13 years 11 months ago
2006
IEEE
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...