1054 search results - page 114 / 211 » Determining Computing Science's Role |
105
click to vote
FOCS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Under CPA and CCA1 attacks, a secure bit encryption scheme can be applied bit-by-bit to construct a secure many-bit encryption scheme. The same construction fails, howe...
MFCS
2009
Springer
15 years 8 months ago
2009
Springer
We consider finite graphs whose edges are labeled with elements, called colors, taken from a fixed finite alphabet. We study the problem of determining whether there is an infi...
119
click to vote
ACMSE
2009
ACM
15 years 8 months ago
2009
ACM
Most modern microprocessor-based systems provide support for superpages both at the hardware and software level. Judicious use of superpages can significantly cut down the number...
114
click to vote
ENC
2008
IEEE
15 years 8 months ago
2008
IEEE
—The world of the mobile devices involves restrictive features. Multiple efforts have been done to define the User Interface. Here, it is combined a neutral description of the UI...
FOCS
2008
IEEE
15 years 8 months ago
2008
IEEE
We show that the NP-Complete language 3SAT has a PCP verifier that makes two queries to a proof of almost-linear size and achieves sub-constant probability of error o(1). The ver...