3820 search results - page 478 / 764 » Bounded Model Debugging |
133
Voted
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
144
click to vote
SIGMETRICS
2010
ACM
15 years 8 months ago
2010
ACM
This paper addresses the problem of determining the node locations in ad-hoc sensor networks when only connectivity information is available. In previous work, we showed that the ...
149
Voted
SPDP
1993
IEEE
15 years 7 months ago
1993
IEEE
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...
138
Voted
FOCS
2007
IEEE
15 years 7 months ago
2007
IEEE
We develop a new technique of proving lower bounds for the randomized communication complexity of boolean functions in the multiparty `Number on the Forehead' model. Our meth...
147
Voted
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
In a database system, disclosure of confidential private data may occur if users can put together the answers of past queries. Traditional access control mechanisms cannot guard a...