3645 search results - page 29 / 729 » Implementing mapping composition |
BTW
2005
Springer
15 years 3 months ago
2005
Springer
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
VOSS
2004
Springer
15 years 3 months ago
2004
Springer
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper...
71
Voted
ICWS
2009
IEEE
15 years 6 months ago
2009
IEEE
Negotiation of Service Level Agreements (SLAs) is very important for maintaining Quality of Service (QoS) of composite Web services-based business processes. The process of negoti...
120
click to vote
DILS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...