1024 search results - page 137 / 205 » Value complete, column complete, predicate complete |
107
click to vote
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Criminal identity matching is crucial to crime investigation in law enforcement agencies. Existing techniques match identities that refer to the same individuals based on simple i...
ICALT
2006
IEEE
15 years 6 months ago
2006
IEEE
ā Generating LOM for learning material is a complex and tedious task to be manually completed. Therefore, the current trend is to automate this process. However, there are severa...
105
click to vote
ICPP
2006
IEEE
15 years 6 months ago
2006
IEEE
Widely adopted distributor-based systems forward user requests to a balanced set of waiting servers in complete transparency to the users. The policy employed in forwarding reques...