1128 search results - page 164 / 226 » Little Engines of Proof |
93
Voted
VR
1999
IEEE
15 years 4 months ago
1999
IEEE
The ever-increasing power of computers and hardware rendering systems has, to date, primarily motivated the creation of visually rich and perceptually realistic virtual environmen...
115
click to vote
OOPSLA
1999
Springer
15 years 4 months ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
83
Voted
SIGCSE
1998
ACM
15 years 4 months ago
1998
ACM
The field of software patterns has seen an explosion in interest in the last three years. Work to date has been on the recognition, cataloging, and finding of patterns with litt...
ICS
1998
Tsinghua U.
15 years 4 months ago
1998
Tsinghua U.
Parallel computers are now commonly used for computational science and engineering, and many applications in these areas use random number generators. For some applications, such ...
109
click to vote
CHIMIT
2007
ACM
15 years 4 months ago
2007
ACM
End users are often cast as the weak link in computer security; they fall victim to social engineering and tend to know very little about security technology and policies. This pa...