6381 search results - page 1202 / 1277 » Alternative Implementation of the C |
168
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
In recent years, the wide availability of personal data has made the problem of privacy preserving data mining an important one. A number of methods have recently been proposed fo...
140
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
131
click to vote
DOCENG
2004
ACM
15 years 10 months ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...
136
click to vote
IMC
2004
ACM
15 years 10 months ago
2004
ACM
Current intrusion detection and prevention systems seek to detect a wide class of network intrusions (e.g., DoS attacks, worms, port scans) at network vantage points. Unfortunatel...
129
click to vote
ISLPED
2004
ACM
15 years 10 months ago
2004
ACM
Increasing demand for larger high-performance applications requires developing more complex systems with hundreds of processing cores on a single chip. To allow dynamic voltage sc...