857 search results - page 12 / 172 » Compositional Semantics in Verbmobil |
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...
APSEC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
IMPERIAL
1993
13 years 11 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
WECWIS
2008
IEEE
14 years 1 months ago
2008
IEEE
Semantic web service composition is about finding services from a repository that are able to accomplish a specified task. The task is defined in a form of a composition reques...
SOCO
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In a component-based system, connectors are used to compose components. Connectors should have a semantics that makes them simple to construct and use. At the same time, ...