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...
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...
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...
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...
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 ...