Search Sciweavers | Sciweavers

32032 search results - page 115 / 6407

» Verified programming in Guru

336

click to vote

APSCC
2008
IEEE

2636views Applied Computing» more APSCC 2008»

A Restricted Undeniable Designated Verifier Signature

16 years 26 days ago

Download www.cipher.risk.tsukuba.ac.jp

Atsushi Koide, Raylin Tso, Takeshi Okamoto, Eiji O...

claim paper

Read More »

133

click to vote

NDSS
2008
IEEE

78views Computer Networks» more NDSS 2008»

Robust Receipt-Free Election System with Ballot Secrecy and Verifiability

16 years 23 days ago

Download www.isoc.org

Sherman S. M. Chow, Joseph K. Liu, Duncan S. Wong

claim paper

Read More »

134

click to vote

NOCS
2007
IEEE

95views Computer Networks» more NOCS 2007»

A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study

16 years 20 days ago

Download www.nocsymposium.org

Dominique Borrione, Amr Helmy, Laurence V. Pierre,...

claim paper

Read More »

131

click to vote

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

16 years 20 days ago

Download www.nvc.vt.edu

Gregory Kulczycki, Heather Keown, Murali Sitaraman...

claim paper

Read More »

131

click to vote

CAV
2007
Springer

114views Hardware» more CAV 2007»

Comparison Under Abstraction for Verifying Linearizability

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers