7557 search results - page 1269 / 1512 » Constraints as a design pattern |
216
click to vote
ICSOC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...
141
click to vote
ISVC
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we investigate the quality of 3D-2D pose estimates using hand labeled line and point correspondences. We select point correspondences from junctions in the image, all...
205
click to vote
LOPSTR
2007
Springer
16 years 23 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
182
click to vote
MIRAGE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We describe an algorithm for fitting a Catmull-Clark subdivision surface model to an unstructured, incomplete and noisy data set. We complete the large missing data regi...
158
click to vote
MODELS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...