127 search results - page 22 / 26 » Quantifying information leaks in software |
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
BIOINFORMATICS
2010
13 years 7 months ago
2010
Summary: adephylo is a package for the R software dedicated to the analysis of comparative evolutionary data. Phylogenetic comparative methods initially aimed at accounting for or...
WWW
2011
ACM
13 years 2 months ago
2011
ACM
Social news websites have gained significant popularity over the last few years. The participants of such websites are not only allowed to share news links but also to annotate, ...
TCOM
2010
13 years 2 months ago
2010
Abstract--The optimization of the pilot overhead in singleuser wireless fading channels is investigated, and the dependence of this overhead on various system parameters of interes...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...