219 search results - page 44 / 44 » An Evaluation of Document Prefetching in a Distributed Digit... |
KDD
2010
ACM
13 years 8 months ago
2010
ACM
The security demands on modern system administration are enormous and getting worse. Chief among these demands, administrators must monitor the continual ongoing disclosure of sof...
CIKM
2008
Springer
13 years 6 months ago
2008
Springer
When researching new product ideas or filing new patents, inventors need to retrieve all relevant pre-existing know-how and/or to exploit and enforce patents in their technologica...
DAC
2003
ACM
14 years 5 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
SIGSOFT
2002
ACM
14 years 5 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...