2605 search results - page 165 / 521 » The many levels of CSCL |
166
click to vote
CEFP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
140
click to vote
CRYPTO
2007
Springer
16 years 22 days ago
2007
Springer
We initiate a complexity-theoretic treatment of hardness amplification for collision-resistant hash functions, namely the transformation of weakly collision-resistant hash functio...
166
click to vote
ER
2007
Springer
16 years 22 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
146
click to vote
EUROSPI
2007
Springer
16 years 22 days ago
2007
Springer
A central issue in knowledge management and software process improvement is to learn from experience. In software engineering, most experience is gathered in projects, which makes ...
135
click to vote
ICCS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Representing concept lattices constructed from large contexts often results in heavy, complex diagrams that can be impractical to handle and, eventually, to make sense of...