1528 search results - page 183 / 306 » Performance Assertion Checking |
111
click to vote
EDCC
2006
Springer
15 years 6 months ago
2006
Springer
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
ESCIENCE
2006
IEEE
15 years 6 months ago
2006
IEEE
The necessity of a lab course on computer security arises from the students' need to complement course work by hands-on experience. In order to meet the distance teaching dem...
142
click to vote
KDD
1995
ACM
15 years 6 months ago
1995
ACM
Wedescribe a case study in data miningfor personal loan evaluation, performed at the ABNAMRObank in the Netherlands. Historical data of clients and their pay-backbehaviourare used...
164
click to vote
ISSTA
1991
ACM
15 years 6 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...
116
click to vote
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
: Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental meth...