33 search results - page 3 / 7 » Automata-Based Verification of Security Requirements of Comp... |
IEEESCC
2009
IEEE
13 years 12 months ago
2009
IEEE
In many applications involving composite Web services, one or more component services may become unavailable. This presents us with the problem of identifying other components tha...
WWW
2003
ACM
14 years 6 months ago
2003
ACM
The construction of composite Web Services from service fragments requires semantic descriptions of service offers and service requests. We propose the use of dependencies as a mo...
ADBIS
2006
Springer
13 years 9 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
IFIPTM
2009
13 years 3 months ago
2009
In this paper, we take the first step to address the gap between the security needs in outsourced hosting services and the protection provided in the current practice. We consider ...
DAGSTUHL
2006
13 years 6 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...