2558 search results - page 60 / 512 » Model Composition Contracts |
115
Voted
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...
156
Voted
JLP
2008
15 years 3 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
132
Voted
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
We introduce a new problem of automatic photo composition,
and present an effective technique for finding good
views within a panoramic scene. Instead of applying heuristic
rule...
112
Voted
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper presents several engineering applications that involve distributed software services. Due to the complexity of these applications, an efficient and flexible se...
137
Voted
ECOWS
2006
Springer
15 years 5 months ago
2006
Springer
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of serviceoriented a...