3669 search results - page 566 / 734 » Rendering |
179
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
163
click to vote
DNA
2006
Springer
15 years 8 months ago
2006
Springer
Whiplash PCR-based methods of biomolecular computation (BMC), while highly-versatile in principle, are well-known to suffer from a simple but serious form of self-poisoning known a...
160
click to vote
DOCENG
2005
ACM
15 years 8 months ago
2005
ACM
Scalable Vector Graphics (SVG) has an imaging model similar to that of PostScript and PDF but the XML basis of SVG allows it to participate fully, via namespaces, in generalised X...
186
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
Three-screen services provide the right solution for consumers to access rich multimedia resources by any device, anytime and anywhere. In this paper, we describe a prototype syst...
166
click to vote
CRYPTO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper discusses key recovery and universal forgery attacks on several MAC algorithms based on universal hash functions. The attacks use a substantial number of verif...