Search Sciweavers | Sciweavers

15254 search results - page 353 / 3051

» A k

125

click to vote

COCOON
2005
Springer

77views Combinatorics» more COCOON 2005»

On Packing and Coloring Hyperedges in a Cycle

16 years 11 days ago

Download www.cs.cityu.edu.hk

Jianping Li, Kang Li, Ken C. K. Law, Hao Zhao

claim paper

Read More »

168

click to vote

FSE
2005
Springer

71views Cryptology» more FSE 2005»

Padding Oracle Attacks on CBC-Mode Encryption with Secret and Random IVs

16 years 11 days ago

Download www.ay2.org

Arnold K. L. Yau, Kenneth G. Paterson, Chris J. Mi...

claim paper

Read More »

127

click to vote

ISAAC
2005
Springer

88views Algorithms» more ISAAC 2005»

Monitoring Continuous Band-Join Queries over Dynamic Data

16 years 10 days ago

Download biogeometry.duke.edu

Pankaj K. Agarwal, Junyi Xie, Jun Yang 0001, Hai Y...

claim paper

Read More »

136

click to vote

VMCAI
2005
Springer

81views Software Engineering» more VMCAI 2005»

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

16 years 9 days ago

Download www.cis.upenn.edu

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...

claim paper

Read More »

125

click to vote

VMCAI
2005
Springer

93views Software Engineering» more VMCAI 2005»

Abstract Interpretation with Alien Expressions and Heap Structures

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers