805 search results - page 36 / 161 » On the Semantics of Conditional Commitment |
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
ENTCS
2008
14 years 12 months ago
2008
Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rul...
110
click to vote
PPSWR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
ICFP
2010
ACM
15 years 27 days ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
108
click to vote
CDB
2004
Springer
15 years 5 months ago
2004
Springer
Preference queries are relational algebra or SQL queries that contain occurrences of the winnow operator (find the most preferred tuples in a given relation). We present here a nu...