Sciweavers

2941 search results - page 351 / 589
» The Myth of the Educational Computer
Sort
View
160
Voted
CORR
2011
Springer
176views Education» more  CORR 2011»
15 years 1 months ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...
WWW
2004
ACM
16 years 7 months ago
Combining individual tutoring with automatic course sequencing in WBT systems
Usually, the success of systems using automatic course sequencing depends strongly on careful authoring and foreseeing of all curriculum alternatives before any learning session e...
Denis Helic, Hermann A. Maurer, Nick Scerbakov
WWW
2003
ACM
16 years 7 months ago
eduSource: Interoperable Network of Learning Object Repositories
In this paper, we describe the approach to achieve a high level of interoperability in the eduSource. The eduSource project is a panCanadian collaborative project to create a test...
Marek Hatala, Griff Richards
CHI
2007
ACM
16 years 7 months ago
Implicit coordination in firefighting practice: design implications for teaching fire emergency responders
Fire emergency response requires rapidly processing and communicating information to coordinate teams that protect lives and property. Students studying to become fire emergency r...
Zachary O. Toups, Andruid Kerne
CHI
2007
ACM
16 years 7 months ago
SciNews online: scaffolding the construction of scientific explanations
Middle and high-school science teachers have traditionally introduced current events in the classroom to leverage news topics relevant to the curriculum, such as the Sumatra Tsuna...
Sebastian de la Chica