1209 search results - page 151 / 242 » Universal Algebra and Computer Science |
144
Voted
ACSE
2000
ACM
15 years 7 months ago
2000
ACM
The University of Queensland has recently established a new design-focused, studio-based IT degree at a new “flexible-learning” campus. The Bachelor of Information Environment...
127
click to vote
ITICSE
2000
ACM
2000
ACM
Integrating interactive computer-based learning experiences into established curricula: a case study
15 years 7 months ago
Educators who wish to integrate interactive computerbased learning experiences into established courses must contend not only with the difficulty of creating quality digital conte...
142
click to vote
SIGOPS
2008
15 years 2 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
138
Voted
FUIN
2002
15 years 2 months ago
2002
Biological research is currently undergoing a revolution. With the advent of microarray technology the behavior of thousands of genes can be measured simultaneously. This capabilit...
104
Voted
STACS
1992
Springer
15 years 6 months ago
1992
Springer
abstract Rafail Ostrovskyy Ramarathnam Venkatesanz Moti Yungx Secure commitment is a primitive enabling information hiding, which is one of the most basic tools in cryptography. S...