857 search results - page 72 / 172 » Compositional Semantics in Verbmobil |
143
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
160
click to vote
TLCA
2009
Springer
16 years 20 days ago
2009
Springer
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
142
click to vote
DSN
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
170
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
The potential benefits of Web services composition heavily rely on semantic interoperability, i.e., the ability to exchange data meaningfully amongst Web services. Context heterog...
179
click to vote
CDVE
2007
Springer
16 years 9 days ago
2007
Springer
Semantic Web Services are the key technology providing services for the users’ convenience in the semantic web environment. Many companies in various fields are researching and d...