5722 search results - page 968 / 1145 » Dynamic inference control |
114
Voted
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Access control and integrity constraints are well known approaches to ensure data integrity in commercial database systems. However, due to operational mistakes, malicious intent ...
130
Voted
ACSC
2006
IEEE
15 years 9 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
140
click to vote
AINA
2006
IEEE
15 years 9 months ago
2006
IEEE
— A considerable body of evidence indicates that the use of reliable link layer protocols over error prone wireless links dramatically improves the performance of Internet protoc...
125
click to vote
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Technological advances in the collection, storage and analysis of data have increased the ease with which businesses can make profitable use of information about individuals. Som...
145
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...