3378 search results - page 20 / 676 » A universe of binding and computation |
105
click to vote
FOCS
2003
IEEE
15 years 2 months ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...
94
Voted
ALT
2003
Springer
15 years 6 months ago
2003
Springer
Solomonoff unified Occam’s razor and Epicurus’ principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field...
CONCURRENCY
1998
14 years 9 months ago
1998
Universal Personal Computing (UPC) supports nomadic computing on the Internet by allowing mobile users to access their personalized computing resources anywhere on the Internet us...
HINC
2003
Springer
15 years 2 months ago
2003
Springer
With the acquisition of the first computer in 1964 programming was introduced into the engineering curriculum at the University of Iceland. Subsequently applied mathematics curricu...
ANNALS
2004
14 years 9 months ago
2004
Purdue University established the first academic department of computer sciences in 1962. The events, starting in 1959, leading to its establishment are chronicled, and then its f...