2521 search results - page 157 / 505 » Semantic Component Composition |
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
We apply our work on Web service discovery with initially incomplete information to the problem of service composition. Rich semantic descriptions of Goals and Web services allow ...
CSFW
2006
IEEE
14 years 3 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
WEBI
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes an approach for a composition of web services based on their semantic descriptions. The process section of OWL-S service descriptions is built with references...
ENTCS
2007
13 years 9 months ago
2007
r introduces an abstract framework for the specification of components with multiple require and provide interfaces that allows the specification of multiple access to a single ...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...