1199 search results - page 196 / 240 » Parameterized Proof Complexity |
94
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
110
click to vote
CCS
2001
ACM
15 years 6 months ago
2001
ACM
We present a mathematical construct which provides a cryptographic protocol to verifiably shuffle a sequence of k modular integers, and discuss its application to secure, universa...
140
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
We extend the Camenisch-Lysyanskaya anonymous credential system such that selective disclosure of attributes becomes highly efficient. The resulting system significantly improves ...
114
Voted
AAAI
1993
15 years 3 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
109
Voted
DEBU
2007
15 years 2 months ago
2007
The need to understand and manage provenance arises in almost every scientific application. In many cases, information about provenance constitutes the proof of correctness of re...