3954 search results - page 309 / 791 » Image-based Model Completion |
207
click to vote
ELPUB
2006
ACM
16 years 12 days ago
2006
ACM
In the last few years, the University of Aveiro, Portugal, has been offering several distance learning courses over the Web, using e-learning platforms. Experience showed that dif...
202
click to vote
SIGMETRICS
2006
ACM
16 years 11 days ago
2006
ACM
Despite the existence of several secure BGP routing protocols, there has been little progress to date on actual adoption. Although feasibility for widespread adoption remains the ...
184
click to vote
EUROCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In the bounded-storage model (BSM) for information-theoretically secure encryption and key-agreement one uses a random string R whose length t is greater than the assumed...
147
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
186
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...