1636 search results - page 139 / 328 » Type-Theoretic Functional Semantics |
132
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
125
click to vote
EPK
2006
15 years 5 months ago
2006
Abstract: The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL...
109
click to vote
DKE
2006
15 years 3 months ago
2006
In this paper, we present a heuristic mapping method and a prototype mapping system that support the process of semi-automatic ontology mapping for the purpose of improving semant...
135
click to vote
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
We study the logic of comparative concept similarity CSL introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In thi...
152
click to vote
ESOP
1999
Springer
15 years 8 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...