Search
Now showing items 1-4 of 4
The Pitfalls of Protocol Design: Attempting to Write a Formally Verified PDF Parser
Publisher: IEEE
Year: 2014
A new similarity measure for intensity-based image registration
Publisher: IEEE
Year: 2014
The first algorithm for solving two coins counterfeiting with ω(ΔH) = ω(ΔL)
Publisher: IEEE
Year: 2014