3721 search results - page 30 / 745 » Infomaster: An Information Integration System |
ICEIS
2008
IEEE
15 years 6 months ago
2008
IEEE
53
Voted
ICEIS
2006
IEEE
15 years 5 months ago
2006
IEEE
ICEIS
2003
IEEE
15 years 5 months ago
2003
IEEE
LISP
2002
14 years 11 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
109
click to vote
JCNS
2000
14 years 11 months ago
2000
The classical view of cortical information processing is that of a bottom-up process in a feedforward hierarchy. However, psychophysical, anatomical, and physiological evidence sug...