6607 search results - page 1057 / 1322 » Making TeX Work |
143
click to vote
CAEPIA
2007
Springer
16 years 22 days ago
2007
Springer
We introduce a non-admissible heuristic for planning with action costs, called the set-additive heuristic, that combines the benefits of the additive heuristic used in the HSP pla...
164
click to vote
CC
2007
Springer
16 years 22 days ago
2007
Springer
In this paper, we extend past work on Linear Scan register allocation, and propose two Extended Linear Scan (ELS) algorithms that retain the compiletime efficiency of past Linear ...
208
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
A group key agreement protocol (GKA) allows a set of players to establish a shared secret key which can be used to secure a subsequent communication. Several efficient constantrou...
147
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
This paper studies an active underground economy which specializes in the commoditization of activities such as credit card fraud, identity theft, spamming, phishing, online crede...
173
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...