1237 search results - page 42 / 248 » Abstract shade trees |
134
click to vote
SCAM
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
115
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
A SEF (software exchange format), such as GXL [6], TA [4] or RSF [7], is used to exchange data between tools that analyze software. Researchers at Bell Canada have specified the D...
180
click to vote
MACE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A strategy-tree provides a systematic approach to the evaluation of the effectiveness of deployed policy sets and a mechanism to dynamically alter policy sets (i.e., alt...
120
click to vote
ISVC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents a quantitative evaluation of the accuracy of different sphere-tree construction methods when they are used in deformable bodies. The methods evaluate...
134
click to vote
ACNS
2010
Springer
15 years 7 months ago
2010
Springer
ded abstract of this paper appears in Applied Cryptography and Network Security