12459 search results - page 2389 / 2492 » cans 2006 |
191
click to vote
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
181
click to vote
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
166
click to vote
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
184
click to vote
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
222
click to vote
PODC
2006
ACM
16 years 25 days ago
2006
ACM
We consider the problem of name-independent routing in doubling metrics. A doubling metric is a metric space whose doubling dimension is a constant, where the doubling dimension o...