512 search results - page 50 / 103 » Anticipating the Digital University |
CCS
2005
ACM
14 years 1 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
HICSS
2000
IEEE
14 years 3 days ago
2000
IEEE
This paper proposes a two-level theoretical framework for the study of CMC illustrating the principles of mediation and contextual analysis. Based on log files and interviews from...
ICPP
1996
IEEE
13 years 12 months ago
1996
IEEE
In this workshop session, three speakers present their viewpoints and contributions to the topic of portable parallel programming languages. They are Dennis Gannon from Indiana Un...
DAGM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In the research area of historical documents it is of high interest to reconstruct the process of the emergence of a historical typesetted document. Therefore, the chrono...
ELPUB
2006
ACM
13 years 11 months ago
2006
ACM
The recent journal price increases and state-wide budget cuts have forced librarians at the University of Maryland (UMD) to make outright cancellations to journals. The implementa...