Sciweavers

1964 search results - page 54 / 393
» informs 2011
Sort
View
AQUILEIA
2011
88views more  AQUILEIA 2011»
13 years 12 months ago
ICT and Art Heritage: a Project of the University of Udine for the Dissemination of Knowledge
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...
Donata Levi
ESORICS
2011
Springer
13 years 11 months ago
Automated Information Flow Analysis of Virtualized Infrastructures
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...
Sören Bleikertz, Thomas Groß, Matthias ...
CSFW
2011
IEEE
13 years 11 months ago
The Complexity of Quantitative Information Flow Problems
—In this paper, we investigate the computational complexity of quantitative information flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (b...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...
NAR
2011
221views Computer Vision» more  NAR 2011»
14 years 2 months ago
AGRIS: the Arabidopsis Gene Regulatory Information Server, an update
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...
CBSE
2011
Springer
13 years 11 months ago
Automating information flow control in component-based distributed systems
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
Takoua Abdellatif, Lilia Sfaxi, Riadh Robbana, Yas...