3378 search results - page 609 / 676 » A universe of binding and computation |
161
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
173
click to vote
CSCW
2004
ACM
15 years 11 months ago
2004
ACM
The needs of blind and visually impaired users are seriously under-investigated in CSCW. We review work on assistive interfaces especially concerning how collaboration between sig...
165
click to vote
PODC
2004
ACM
15 years 11 months ago
2004
ACM
Group key exchange protocols allow a group of servers communicating over an asynchronous network of point-to-point links to establish a common key, such that an adversary which fu...
166
click to vote
SPAA
2004
ACM
15 years 11 months ago
2004
ACM
This paper introduces a new adaptive method, Channel Queue Routing (CQR), for load-balanced routing on k-ary n-cube interconnection networks. CQR estimates global congestion in th...
174
click to vote
WS
2004
ACM
15 years 11 months ago
2004
ACM
In this paper we present a man-in-the-middle attack on the Universal Mobile Telecommunication Standard (UMTS), one of the newly emerging 3G mobile technologies. The attack allows ...