2673 search results - page 129 / 535 » Guided Static Analysis |
132
click to vote
IVC
2008
15 years 4 months ago
2008
Complex scenes such as underground stations and malls are composed of static occlusion structures such as walls, entrances, columns, turnstiles and barriers. Unless this occlusion...
125
Voted
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Cryptographic techniques for reasoning about information leakage have recently been brought to bear on the classical problem of statistical disclosure control – revealing accurat...
148
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
138
Voted
LOPSTR
1994
Springer
15 years 8 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
122
click to vote
MBUI
2004
15 years 5 months ago
2004
In this paper, we discuss the issues preventing adoption of analysis, design and modeling (AMD) software development tools. We argue that AMD tools are experiencing the same probl...