1860 search results - page 315 / 372 » tools 2009 |
124
click to vote
CTRSA
2009
Springer
16 years 14 days ago
2009
Springer
Zero-knowledge set is a primitive introduced by Micali, Rabin, and Kilian (FOCS 2003) which enables a prover to commit a set to a verifier, without revealing even the size of the...
161
click to vote
ICS
2009
Tsinghua U.
16 years 14 days ago
2009
Tsinghua U.
To sustain emerging data-intensive scientific applications, High Performance Computing (HPC) centers invest a notable fraction of their operating budget on a specialized fast sto...
140
click to vote
CSFW
2009
IEEE
16 years 13 days ago
2009
IEEE
—As networked systems grow in complexity, they are increasingly vulnerable to denial-of-service (DoS) attacks involving resource exhaustion. A single malicious input of coma can ...
161
click to vote
DATE
2009
IEEE
16 years 13 days ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
176
click to vote
KBSE
2009
IEEE
16 years 12 days ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...