866 search results - page 101 / 174 » A compositional semantics for CHR |
191
click to vote
SAC
2009
ACM
16 years 27 days ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
134
click to vote
ESOP
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
183
click to vote
AICT
2006
IEEE
16 years 5 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
177
click to vote
MIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...
159
click to vote
JSW
2008
15 years 6 months ago
2008
Service composition is emerging as an important paradigm for constructing distributed applications by combining and reusing independently developed component services. One key issu...