Sciweavers

1964 search results - page 54 / 393
» informs 2011
Sort
View
138
Voted
AQUILEIA
2011
88views more  AQUILEIA 2011»
14 years 3 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
143
Voted
ESORICS
2011
Springer
14 years 3 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
14 years 3 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 ...
153
Voted
NAR
2011
221views Computer Vision» more  NAR 2011»
14 years 6 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...
165
Voted
CBSE
2011
Springer
14 years 3 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...