7529 search results - page 85 / 1506 » The Modula-3 Type System |
141
click to vote
DEBU
2010
15 years 4 months ago
2010
Traditional information systems return answers after a user submits a complete query. Users often feel "left in the dark" when they have limited knowledge about the unde...
123
click to vote
LEGE
2004
15 years 5 months ago
2004
In this paper we discuss the TestTool system as an established testing system model, the one that is being used in real educational settings and supports self-assessment as well as...
132
click to vote
FPT
2005
IEEE
15 years 9 months ago
2005
IEEE
Although biological visual systems have been widely studied at the physiological, psychophysical and functional levels, our understanding of its signal processing mechanisms is st...
121
click to vote
IMA
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper specializes the signature forgery by Coron, Naccache and Stern (1999) to Rabin-type systems. We present a variation in which the adversary may derive the priva...
123
Voted
ENTCS
2006
15 years 4 months ago
2006
We present a bunched intermediate language for strong (type-changing) update and disposal of first-order references. In contrast to other substructural type systems, the additive ...