Sciweavers

1190 search results - page 35 / 238
» A type and effect system for atomicity
Sort
View
ESOP
2006
Springer
13 years 11 months ago
A Typed Assembly Language for Confidentiality
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
Dachuan Yu, Nayeem Islam
CSB
2005
IEEE
120views Bioinformatics» more  CSB 2005»
14 years 1 months ago
Chemical Structure-Activity Relationship Visualization Using Structure Activity Maps
This study shows an effective way to explore and visualize the structure-activity relationships (SARs) of flavonoids with antioxidant activity using structure- activity maps (SAMs...
Weiguo Fan, Xin Lin, Yu-Wei Hsieh, Johnnie W. Bake...
IJNSEC
2008
96views more  IJNSEC 2008»
13 years 7 months ago
On the Effectiveness of Continuous-Time Mixes under Flow-Correlation Based Anonymity Attacks
In flow-based mix networks, flow correlation attacks have been proposed earlier and have been shown empirically to seriously degrade mix-based anonymous communication systems. In ...
Ye Zhu, Xinwen Fu, Riccardo Bettati
WIDM
2004
ACM
14 years 25 days ago
Measuring similarity between collection of values
In this paper, we propose a set of similarity metrics for manipulating collections of values occuring in XML documents. Following the data model presented in TAX algebra, we treat...
Carina F. Dorneles, Carlos A. Heuser, Andrei E. N....
PLDI
2011
ACM
12 years 10 months ago
EnerJ: approximate data types for safe and general low-power computation
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
Adrian Sampson, Werner Dietl, Emily Fortuna, Danus...