22 search results - page 2 / 5 » sas 2005 |
DIS
2005
Springer
13 years 7 months ago
2005
Springer
BMCBI
2005
13 years 5 months ago
2005
ICCNMC
2005
Springer
13 years 10 months ago
2005
Springer
Anonymity technologies have gained more and more attention for communication privacy. In general, users obtain anonymity at a certain cost in an anonymous communication system, whi...
SAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...
SAS
2005
Springer
13 years 10 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...