3378 search results - page 21 / 676 » A universe of binding and computation |
MCU
1998
14 years 11 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
EUROCRYPT
2003
Springer
15 years 2 months ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
FECS
2006
14 years 11 months ago
2006
-- The Fourth (4th ) Annual Student Research Symposium (SRS) for graduate and undergraduate students majoring in science, engineering, and mathematics will be conducted at Texas Ch...
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents a methodology for increasing undergraduate Computer Science (CS) major enrollment at comprehensive public universities, particularly those that have first gene...
ITICSE
2005
ACM
15 years 3 months ago
2005
ACM
We investigate the use of a thin-client based configuration in providing students with universal access to a centralized, graphical computing environment. The primary goal is to ...