6881 search results - page 90 / 1377 » Motivation |
140
click to vote
ECOOPW
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
140
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
134
click to vote
EUROCRYPT
2007
Springer
15 years 8 months ago
2007
Springer
Motivated by the quest for reducing assumptions in security proofs in cryptography, this paper is concerned with designing efficient symmetric encryption and authentication schemes...
144
click to vote
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
121
click to vote
AH
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we present the system "DAWN" (direction anticipation in web navigation) that helps users to navigate through the world wide web. Firstly, the pur...