857 search results - page 124 / 172 » Compositional Semantics in Verbmobil |
142
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We discuss how ontologies can be used to facilitate the construction of transformations between XML documents. We introduced a method to compose transformations for XML d...
159
click to vote
UML
1998
Springer
15 years 10 months ago
1998
Springer
UML provides very little support for modelling evolvable or reusable specifications and designs. To cope with this problem, the UML needs to be extended with support for reuse and ...
170
click to vote
PDSE
1998
15 years 7 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
141
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
traction Problem for PCF Hyland-Ong games model Concrete Representation Compositional Semantics? A Concrete Representation of Observational Equivalence for PCF Martin Churchill, Ji...
174
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...