Abstract: A vision of tools to support software development organizations in the process of development, maintenance and evolution of systems is presented. The envisioned tools see...
Daniel C. M. May, Bent Bruun Kristensen, Palle Now...
—Given n discrete random variables = fX1;111; Xng, associated with any subset of f1; 2; 111; ng, there is a joint entropy H(X) where X = fXi:i 2 g. This can be viewed as a f...
We designed, implemented and evaluated a new concept for direct manipulation of databases, called dynamic queries, that allowsuserstoformulatequerieswithgraphicalwidgets,such as s...
Christopher Ahlberg, Christopher Williamson, Ben S...
Abstract. History independent data structures, presented by Micciancio, are data structures that possess a strong security property: even if an intruder manages to get a copy of th...
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...