554 search results - page 24 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
ENTCS
2010
14 years 11 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available servic...
102
click to vote
JALC
2006
14 years 11 months ago
2006
Automated Web Service Composition has gained a significant momentum in facilitating fast and efficient formation of business-to-business collaborations where an important objectiv...
PODS
2003
ACM
15 years 12 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...
106
click to vote
IEEESCC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions th...