361 search results - page 40 / 73 » acm 1993 |
CHI
1993
ACM
14 years 4 days ago
1993
ACM
As the ease of accessing and generating large quantities of information increases, people’s ability to navigate through that information and maintain personal perspective decrea...
MM
1993
ACM
14 years 4 days ago
1993
ACM
This paper describes Phoneshell, a telephone based application providing remote voice access to personal desktop databases such as voice mail, email, calendar, and rolodex. Severa...
POPL
1993
ACM
14 years 4 days ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
SIGCOMM
1993
ACM
14 years 3 days ago
1993
ACM
The paper considers a network with many apparently-independent periodic processes and discusses one method by which these processes can inadvertently become synchronized. In parti...
CCS
1993
ACM
14 years 4 days ago
1993
ACM
Many recent research e orts in computer security focus on constructing provably secure authentication protocols. Although many of the resulting protocols rely on the a priori secu...