26071 search results - page 4990 / 5215 » Making the |
138
click to vote
ENTCS
2000
15 years 4 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
112
click to vote
ENVSOFT
2000
15 years 4 months ago
2000
Nitrous oxide (N2O) and nitric oxide (NO) are important atmospheric trace gases participating in the regulation of global climate and environment. Predictive models on the emissio...
163
click to vote
CSCW
2002
ACM
15 years 4 months ago
2002
ACM
Supporting awareness of others is an idea that holds promise for improving the usability of real-time distributed groupware. However, there is little principled information availa...
187
click to vote
ETS
2000
IEEE
15 years 4 months ago
2000
IEEE
During Spring 1998, we embarked on pedagogical journey into unknown terrains -- the terrains of collaborative teaching and World Wide Web instruction. In this paper we present a j...
133
click to vote
ETS
2000
IEEE
15 years 4 months ago
2000
IEEE
In recent years, there is a growing interest in developing online collaborative learning environments. In a learner-centered online collaborative environment, students work togeth...