Sciweavers

1418 search results - page 76 / 284
» Schema polynomials and applications
Sort
View
PODS
2004
ACM
86views Database» more  PODS 2004»
16 years 6 months ago
Frontiers of Tractability for Typechecking Simple XML Transformations
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...
Wim Martens, Frank Neven
VLDB
2005
ACM
114views Database» more  VLDB 2005»
15 years 11 months ago
Checking for k-Anonymity Violation by Views
When a private relational table is published using views, secrecy or privacy may be violated. This paper uses a formally-defined notion of k-anonymity to measure disclosure by vi...
Chao Yao, Xiaoyang Sean Wang, Sushil Jajodia
APVIS
2004
15 years 7 months ago
A Survey, Classification and Analysis of Perceptual Concepts and their Application for the Effective Visualisation of Complex In
Information visualisation has become increasingly important in science, engineering and commerce as a tool to convey and explore complex sets of information. This paper introduces...
Burkhard Wünsche
ECIS
2001
15 years 7 months ago
Justification of Group Decisions: A Case Study of User Training in Group Support Systems Applications
Decision making, whether by an individual or a group, can be substantially enhanced by a "systems thinking" approach. Because groups are often challenged to justify thei...
Jackie Phahlamohlaka, J. Dewald Roode
DLOG
2003
15 years 7 months ago
Index Selection for Embedded Control Applications using Description Logics
We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...
Lubomir Stanchev, Grant E. Weddell