3333 search results - page 116 / 667 » Abstract Proof Search |
136
click to vote
ICDE
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— As the Web has evolved into a data-rich repository, with the standard “page view,” current search engines are becoming increasingly inadequate. To realize data-awar...
88
Voted
WSCG
2001
15 years 5 months ago
2001
the problem of locating services in a given context requires a methematical abstraction so that its complexity can be managed by means of an iterative search through context simul...
144
Voted
TEC
2010
14 years 10 months ago
2010
Abstract--In 1968, Volker Strassen, a young German mathematician, announced a clever algorithm to reduce the asymptotic complexity of n
144
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
127
Voted
TCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce Fair Zero-Knowledge, a multi-verifier ZK system where every proof is guaranteed to be “zero-knowledge for all verifiers.” That is, if an honest verifi...