4209 search results - page 450 / 842 » Abstract Dialectical Frameworks |
151
click to vote
SIGMOD
2002
ACM
16 years 6 months ago
2002
ACM
We present a continuously adaptive, continuous query (CACQ) implementation based on the eddy query processing framework. We show that our design provides significant performance b...
144
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
147
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
164
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. An important goal of security in information systems is confidentiality. A confidentiality policy specifies which users should be forbidden to acquire what kind of inform...
177
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...