3378 search results - page 219 / 676 » A universe of binding and computation |
142
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
156
click to vote
SP
2006
IEEE
16 years 19 days ago
2006
IEEE
Simulatable security is a security notion for multi-party protocols that implies strong composability features. The main definitional flavours of simulatable security are standa...
191
click to vote
ACSE
1996
ACM
15 years 10 months ago
1996
ACM
The need for the teaching of professional skills to undergraduates in areas such as communications, team work, conflict resolution, and ethics has for some time been articulated b...
159
click to vote
FUNGAMES
2008
15 years 7 months ago
2008
Recent developments in computer science introduce and discuss new concepts for computation beyond universal Turing machines. Quantum computing relates to new insights in quantum ph...
182
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
While Kolmogorov complexity is the accepted absolute measure of information content in an individual finite object, a similarly absolute notion is needed for the information distan...