Sciweavers

601 search results - page 5 / 121
» Writing for the Year 2000
Sort
View
ENTCS
2000
60views more  ENTCS 2000»
14 years 9 months ago
Writing Constructive Proofs Yielding Efficient Extracted Programs
The NuPRL system [3] was designed for interactive writing of machine
Aleksey Nogin
53
Voted
CGA
2000
14 years 9 months ago
Designing an Augmented Writing Surface
Elizabeth D. Mynatt, Takeo Igarashi, W. Keith Edwa...
ROBOCUP
2001
Springer
125views Robotics» more  ROBOCUP 2001»
15 years 2 months ago
Evaluation of the Performance of CS Freiburg 1999 and CS Freiburg 2000
One of the questions one may ask when following research in robotic soccer is whether there is a measurable progress over the years in the robotic leagues. While everybody who has ...
Guido Isekenmeier, Bernhard Nebel, Thilo Weigel
USENIX
2001
14 years 11 months ago
Heimdal and Windows 2000 Kerberos - How to Get Them to Play Together
As a practical means of achieving better security and single sign-on, the Kerberos network authentication system has been in wide use in the Unix world for many years. Microsoft h...
Assar Westerlund, Johan Danielsson
ANNALS
2004
56views more  ANNALS 2004»
14 years 9 months ago
Computer Sciences at Purdue University-1962 to 2000
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...
John R. Rice, Saul Rosen