Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
15254
search results - page 355 / 3051
»
A k
Sort
relevance
views
votes
recent
update
View
thumb
title
170
click to vote
CAV
2004
Springer
89
views
Hardware
»
more
CAV 2004
»
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement
16 years 29 days ago
Download
reference.kfupm.edu.sa
Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Linta...
claim paper
Read More »
144
click to vote
CAV
2004
Springer
97
views
Hardware
»
more
CAV 2004
»
Zing: A Model Checker for Concurrent Software
16 years 29 days ago
Download
research.microsoft.com
Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jak...
claim paper
Read More »
126
click to vote
CCS
2004
ACM
83
views
Security Privacy
»
more
CCS 2004
»
The dual receiver cryptosystem and its applications
16 years 29 days ago
Download
www.cs.columbia.edu
Theodore Diament, Homin K. Lee, Angelos D. Keromyt...
claim paper
Read More »
149
click to vote
CCS
2004
ACM
79
views
Security Privacy
»
more
CCS 2004
»
Gray-box extraction of execution graphs for anomaly detection
16 years 29 days ago
Download
www.ece.cmu.edu
Debin Gao, Michael K. Reiter, Dawn Xiaodong Song
claim paper
Read More »
139
click to vote
CEAS
2004
Springer
93
views
Internet Technology
»
more
CEAS 2004
»
Integration of Email and Task Lists
16 years 29 days ago
Download
research.microsoft.com
Simon Corston-Oliver, Eric K. Ringger, Michael Gam...
claim paper
Read More »
« Prev
« First
page 355 / 3051
Last »
Next »
