74 search results - page 9 / 15 » Teaching Concurrency: Theory in Practice |
CHI
2007
ACM
15 years 9 months ago
2007
ACM
Many attempts to bridge the digital divide between lesser-developed countries (LDC) through Information & Communication Technology (ICT) projects have had little success. With...
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
ESOP
2009
Springer
15 years 1 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
INTERACT
2007
14 years 11 months ago
2007
With current disciplinary structures and academic priorities, Human– Computer Interaction faces ongoing challenges: is it a discipline in its own right, or simply a sub-disciplin...
ETS
2000
IEEE
14 years 9 months ago
2000
IEEE
This article discusses a telecollaborative activity that combines many strategies of interest in teacher education (i.e., case-based learning, online discussion, cross-university ...