675 search results - page 103 / 135 » Generating Business Process Models from Object Behavior Mode... |
IFM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
PG
1999
IEEE
14 years 24 days ago
1999
IEEE
The objective of this research is to apply the subdivision surface for surface fitting problems when generating surfaces from data points or polyhedral models. The basic idea is t...
PROFES
2004
Springer
14 years 1 months ago
2004
Springer
One of the most prominent issues involved in incremental software development is to decide upon the most appropriate software release plans taking into account all explicit and imp...
QUESTA
2007
13 years 8 months ago
2007
We propose a new queueing model named the acquisition queue. It differs from conventional queueing models in that the server not only serves customers, but also performs acquisit...
EDOC
2003
IEEE
14 years 1 months ago
2003
IEEE
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....