620 search results - page 102 / 124 » Computer tutoring for programming education |
CORR
2011
Springer
12 years 11 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...
ICALT
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe our work on seeding and building a developmental learning community for recruiting and retaining women in educational programs and careers related to computing and inf...
WCCE
2001
13 years 9 months ago
2001
: The University of the United Arab Emirates (UAEU) commissioned an international panel of experts to devise a model curriculum for their new College of Information Technology. The...
HCI
2009
13 years 5 months ago
2009
Abstract. While interactive virtual humans are becoming widely used in education, training and delivery of instructions, building the animations required for such interactive chara...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
In many scientific domains, researchers are turning to large-scale behavioral simulations to better understand real-world phenomena. While there has been a great deal of work on s...