322 search results - page 18 / 65 » Integrating technology into computer science examinations |
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
ACSE
2000
ACM
13 years 12 months ago
2000
ACM
The demand for and expectation of ubiquitous access to multimedia online learning resources are much higher amongst computer science students than other fields of study. Previous ...
ACISP
1997
Springer
13 years 11 months ago
1997
Springer
tracts, pp. 11-17. (http://www.qucis.queens.ca/achallc97/papers/p028.html) Alexa, Melina; Rostek, Lothar Pattern Concordances - TATOE calls XGrammar. Presented at ACH -ALLC97, King...
DILS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Grid computing has great potential for supporting the integration of complex, fast changing biological data repositories to enable distributed data analysis. One scenario...
Lab
Neural Systems Engineering Lab (NSEL) at Michigan State University focuses on advancing neuroinformatics science by engineering new theoretical, computational and experimental tool...