Search Sciweavers | Sciweavers

15254 search results - page 355 / 3051

» A k

149

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

16 years 7 days ago

Download reference.kfupm.edu.sa

Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Linta...

claim paper

Read More »

126

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

16 years 7 days ago

Download research.microsoft.com

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jak...

claim paper

Read More »

116

click to vote

CCS
2004
ACM

83views Security Privacy» more CCS 2004»

The dual receiver cryptosystem and its applications

16 years 7 days ago

Download www.cs.columbia.edu

Theodore Diament, Homin K. Lee, Angelos D. Keromyt...

claim paper

Read More »

136

click to vote

CCS
2004
ACM

79views Security Privacy» more CCS 2004»

Gray-box extraction of execution graphs for anomaly detection

16 years 7 days ago

Download www.ece.cmu.edu

Debin Gao, Michael K. Reiter, Dawn Xiaodong Song

claim paper

Read More »

125

click to vote

CEAS
2004
Springer

93views Internet Technology» more CEAS 2004»

Integration of Email and Task Lists

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers