The article illustrates some activities of LIDA, the Information Laboratory for Art History of the University of Udine. It focuses on a regional pilot project on ICT and cultural h...
The use of server virtualization has been growing steadily, but many enterprises still are reluctant to migrate critical workloads to such infrastructures. One key inhibitor is the...
—In this paper, we investigate the computational complexity of quantitative information flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (b...
The Arabidopsis Gene Regulatory Information Server (AGRIS; http://arabidopsis.med.ohio-state .edu/) provides a comprehensive resource for gene regulatory studies in the model plan...
Alper Yilmaz, Maria Katherine Mejia-Guerra, Kyle K...
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...