Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...
We present a method for medial surface reconstruction from volumetric data of thin-plate objects including junctions. Given medial voxels and distance fields computed from binariz...
In this paper we examine undesired inference attacks from distributed public XML documents. An undesired inference is a chain of reasoning that leads to protected data of an organ...
The goal of this paper is to offer, in straight forward terms, some practical insight into distributed data surveillance. I will use the software project Carnivore as a case study....
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...