12289 search results - page 551 / 2458 » computing 2006 |
211
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
179
click to vote
NSPW
2006
ACM
16 years 29 days ago
2006
ACM
We study malware propagation strategies which exploit not the incompetence or naivety of users, but instead their own greed, malice and short-sightedness. We demonstrate that inter...
164
click to vote
PODC
2006
ACM
16 years 29 days ago
2006
ACM
We study the implication that various timeliness and failure detector assumptions have on the performance of consensus algorithms that exploit them. We present a general framework...
185
click to vote
EDO
2006
Springer
15 years 10 months ago
2006
Springer
We present a new publish-subscribe middleware called REDS (REconfigurable Dispatching System) designed to tolerate dynamic reconfigurations of the dispatching infrastructure, like...
164
click to vote
SIGCSE
2006
ACM
16 years 29 days ago
2006
ACM
This paper proposes an accessibility first pedogogy for web design, in which the course is organized around the requirement of implementing web pages accessible to visually impai...