111 search results - page 14 / 23 » Automated Information Flow Analysis of Virtualized Infrastru... |
126
click to vote
ACSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...
103
Voted
BMCBI
2010
14 years 7 months ago
2010
Background: Shared-usage high throughput screening (HTS) facilities are becoming more common in academe as large-scale small molecule and genome-scale RNAi screening strategies ar...
108
Voted
MOBIHOC
2005
ACM
16 years 1 days ago
2005
ACM
Location information is very useful in the design of sensor network infrastructures. In this paper, we study the anchor-free 2D localization problem by using local angle measureme...
126
Voted
BMCBI
2010
14 years 10 months ago
2010
Background: Bioinformatics is confronted with a new data explosion due to the availability of high throughput DNA sequencers. Data storage and analysis becomes a problem on local ...
92
Voted
CADE
2008
Springer
16 years 23 days ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...