Sciweavers

9503 search results - page 344 / 1901
» Authenticated System Calls
Sort
View
ITICSE
1997
ACM
15 years 11 months ago
Recursion and grammars for CS2
A programming exercise on recursion in which students create drawings of simple and bracketed Lindenmayer Systems provides a context for exploring additional computer science conc...
Viera K. Proulx
CORR
2006
Springer
123views Education» more  CORR 2006»
15 years 7 months ago
Continuations, proofs and tests
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
Stefano Guerrini, Andrea Masini
EMISA
2007
Springer
16 years 1 months ago
On Industrial Use of Requirements Engineering Techniques
We discuss two experiments in which requirements engineering techniques has been used and evaluated. In the first experiment a technique called Executable Use Cases is applied in t...
Lars Bækgaard, Jens Bæk Jørgens...
EUROCRYPT
1998
Springer
15 years 11 months ago
Auto-Recoverable Auto-Certifiable Cryptosystems
Abstract. This paper introduces a cryptographic paradigm called selfescrowed encryption, a concept initiated by kleptography. In simple words, a self-escrowed public-key cryptosyst...
Adam Young, Moti Yung
ESWS
2006
Springer
15 years 11 months ago
Information Retrieval in Folksonomies: Search and Ranking
Abstract. Social bookmark tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual structures called folksonomies. The reason for their im...
Andreas Hotho, Robert Jäschke, Christoph Schm...