1024 search results - page 47 / 205 » Compositional Methods for Probabilistic Systems |
153
click to vote
ECOOP
2001
Springer
15 years 5 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
112
click to vote
IEEESCC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
144
click to vote
ADBIS
2006
Springer
15 years 5 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...
128
click to vote
IS
2006
15 years 1 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
154
click to vote
ICWS
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...