3645 search results - page 80 / 729 » Implementing mapping composition |
106
click to vote
FASE
2005
Springer
15 years 4 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
107
click to vote
ICSOC
2005
Springer
15 years 4 months ago
2005
Springer
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how ad...
TCC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
GCC
2003
Springer
15 years 4 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
PDP
2002
IEEE
15 years 4 months ago
2002
IEEE
The Ensemble methodology supports the design and implementation of message passing applications, particularly MPMD and those demanding irregular or partially regular process topol...