4209 search results - page 577 / 842 » Abstract Dialectical Frameworks |
161
click to vote
VMCAI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
163
click to vote
STEP
2005
IEEE
16 years 6 days ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
233
click to vote
ESOP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
185
click to vote
ICDT
2005
ACM
16 years 4 days ago
2005
ACM
Abstract. A classical problem in query optimization is to find the optimal ordering of a set of possibly correlated selections. We provide an ion of this problem as a generalizati...
209
click to vote
HT
2004
ACM
16 years 1 days ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...