7404 search results - page 335 / 1481 » New Tools in Education |
179
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
165
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes using mobile game development as a motivational tool to engage students early in the curriculum. Mobile devices have become an integral part of everyday lives...
184
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
Working remotely is becoming the norm for both professionals and students alike. Software development has become a global industry due to outsourcing, teleworking, flex time, and ...
172
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
This paper introduces WebQuests as potential teaching tools for HCI and software design educators. Based on our daylong observations of a high-school class, we believe that WebQue...
163
click to vote
ICIDS
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces PoliCultura, a project created by Politecnico di Milano for the Italian schools, which has just completed three years of deployment. Participating classes (wi...