1438 search results - page 116 / 288 » An Expressive Extension of TLC |
118
Voted
LFCS
2009
Springer
15 years 7 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
Parallel programming is facilitated by constructs which, unlike the widely used SPMD paradigm, provide programmers with a global view of the code and data structures. These constr...
87
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
We consider Dung’s argumentation framework, in which an argument system consists of a set of arguments and a binary relation between arguments representing the notion of a con...
127
click to vote
SOFTVIS
2003
ACM
15 years 6 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
104
Voted
VLDB
1999
ACM
15 years 5 months ago
1999
ACM
In this paper, we describe our recent experiences in adding a number of object-relational extensions to the DB2 Universal Database UDB system as part of a research and developme...