84 search results - page 7 / 17 » Directed Transitive Signature Scheme |
160
click to vote
AAECC
2006
Springer
15 years 5 months ago
2006
Springer
The contribution of this paper is an effective proof of the well-foundedness of MPO, as a term of the Calculus of Inductive Constructions. This proof is direct, short and simple. ...
166
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...
106
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
We present a new primitive—Append-only Signatures (AOS)—with the property that any party given an AOS signature Sig[M1] on message M1 can compute Sig[M1 M2] for any message M2...
151
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
We study the quality of LP-based approximation methods for pure combinatorial problems. We found that the quality of the LPrelaxation is a direct function of the underlying constra...
162
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
The rising popularity of Web 2.0, such as blogs, forums, online calendars/diaries, etc., makes users more interested in keeping their data on the Web. Sharing of such data could m...