3707 search results - page 149 / 742 » A Simple Technique for Self-Calibration |
169
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe ITS4, a tool for statically scanning security-critical C source code for vulnerabilities. Compared to other approaches, our scanning technique stakes out a new middle ...
146
click to vote
ICDT
1997
ACM
15 years 10 months ago
1997
ACM
Abstract. The correctness of nested transactions for multidatabases differs from that of at transactions in that, for nested transactions the execution order of siblings at each re...
149
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
In this paper, we present and evaluate alternative techniques to effect the use of location-independent identiļ¬ers in distributed database systems. Location-independent identiļ¬...
172
click to vote
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
205
click to vote
PLILP
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...