16190 search results - page 2463 / 3238 » Applicative programming with effects |
145
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...
179
click to vote
ICAPR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
193
click to vote
ICCS
2005
Springer
16 years 6 days ago
2005
Springer
Cray X1 Fortran and C/C++ compilers provide a number of loop transformations, notably vectorization and multistreaming, in order to exploit the multistreaming processor (MSP) hard...
186
Voted
ICLP
2005
Springer
16 years 6 days ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
188
click to vote
ICTAC
2005
Springer
16 years 6 days ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...