1897 search results - page 59 / 380 » eg 2007 |
CADE
2007
Springer
14 years 9 months ago
2007
Springer
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...
DCC
2007
IEEE
14 years 8 months ago
2007
IEEE
Data synopsis is a lossy compressed representation of data stored into databases that helps the query optimizer to speed up the query process, e.g. time to retrieve the data from ...
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
The web is an indispensable part of our lives. Every day, millions of users purchase items, transfer money, retrieve information and communicate over the web. Although the web is ...
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
We propose a taxonomy of botnet structures, based on their utility to the botmaster. We propose key metrics to measure their utility for various activities (e.g., spam, ddos). Usi...
COMSWARE
2007
IEEE
14 years 3 months ago
2007
IEEE
— Measuring real-time end-to-end network path performance metrics is important for several distributed applications such as media streaming systems (e.g., for switching to paths ...