230 search results - page 11 / 46 » A Generic Approach for Automatic Model Composition |
IOR
2011
14 years 4 months ago
2011
We formulate a risk-averse two-stage stochastic linear programming problem in which unresolved uncertainty remains after the second stage. The objective function is formulated as ...
103
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
136
click to vote
TSMC
2010
14 years 4 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
116
click to vote
ICWS
2009
IEEE
14 years 7 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
AAAI
2007
14 years 11 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...