2941 search results - page 370 / 589 » The Myth of the Educational Computer |
184
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
168
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
We introduce an embodied-interaction instructional design, the Mathematical Imagery Trainer (MIT), for helping young students develop grounded understanding of proportional equiva...
188
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
— This paper describes two tools that aim to support decision making during the migration of IT systems to the cloud. The first is a modeling tool that produces cost estimates of...
183
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
Quadrotor helicopters are micro air vehicles with vertical take-off and landing capabilities controlled by varying the rotation speed of four fixed pitch propellers. Due to their...
249
Voted
Lab
Transportation Research At McGill (TRAM) is a research group of researchers, faculty members and students whom their work is mainly directed towards conducting research in the tran...