534 search results - page 51 / 107 » A Framework for Dependency Based Automatic Service Compositi... |
ENTCS
2006
13 years 7 months ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
We propose a semantic framework for automatically identifying events as a step towards developing an adaptive middleware for Service Oriented Architecture (SOA). Current related r...
IFIPTCS
2010
13 years 5 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
TCC
2005
Springer
14 years 1 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...