3346 search results - page 371 / 670 » A Generic Rendering System |
159
click to vote
WOLLIC
2010
Springer
15 years 10 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
165
click to vote
WSC
2004
15 years 8 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
159
Voted
CORR
2002
Springer
15 years 6 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
199
click to vote
FOCS
2010
IEEE
15 years 4 months ago
2010
IEEE
A fundamental question in leakage-resilient cryptography is: can leakage resilience always be amplified by parallel repetition? It is natural to expect that if we have a leakage-r...
169
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: The evolution and structuring of plant communities is governed by local plant-to-plant interaction. It has been shown that the individual variability of the organisms and the spa...