5904 search results - page 141 / 1181 » Requirements for a Composition Language |
113
Voted
ICWE
2010
Springer
15 years 1 months ago
2010
Springer
When composing mashups, the selection of suitable services is mainly based on functional requirements and does not consider the quality of the single services. In this paper, we sh...
122
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Currently, fault management in Web Services orchestrating multiple suppliers relies on a local analysis, that does not span across individual services, thus limiting the effective...
127
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
103
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Most software-intensive systems rely on a componentbased design and are therefore made up of encapsulated structural units which are hierarchically composed of one another. In thi...
144
click to vote
ICEIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Proposed and developed is a service composition framework for decision-making under uncertainty, which is applicable to stochastic optimization of supply chains. Also developed is ...