2138 search results - page 355 / 428 » Logical Step-Indexed Logical Relations |
133
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
153
click to vote
ENTCS
2008
15 years 4 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
167
click to vote
TRS
2008
15 years 4 months ago
2008
A popular view is that the brain works in a similar way to a digital computer or a Universal Turing Machine by processing symbols. Psychophysical experiments and our amazing capabi...
165
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
170
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...