Sciweavers

11089 search results - page 184 / 2218
» Developing software families
Sort
View
BPM
2010
Springer
186views Business» more  BPM 2010»
15 years 8 months ago
How to Implement a Theory of Correctness in the Area of Business Processes and Services
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
Niels Lohmann, Karsten Wolf
CAGD
2004
113views more  CAGD 2004»
15 years 7 months ago
Developable surface fitting to point clouds
Given a set of data points as measurements from a developable surface, the present paper investigates the recognition and reconstruction of these objects. We investigate the set o...
Martin Peternell
CCS
2010
ACM
15 years 5 months ago
Developing security protocols by refinement
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
Christoph Sprenger, David A. Basin
CW
2005
IEEE
16 years 21 days ago
Web-Based Configure-to-Order Platform for Collaborative Development of Customized Products
To support the collaborative development of custom products in current distributed manufacturing, this paper develops a Web-based configure-to-order platform. The proposed platfor...
Roger Jianxin Jiao, Martin G. Helander, Lianfeng Z...
SIMVIS
2001
15 years 8 months ago
GPSS - 40 years of development
This year GPSS celebrates its 40th birthday. This paper reports on the development during these 40 years, starting with the first version developed by Gordon at IBM in 1961, and t...
Ingolf Ståhl