1712 search results - page 124 / 343 » Assistive technology in computer science |
151
click to vote
SIGADA
2005
Springer
15 years 12 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...
201
click to vote
ACSE
2000
ACM
15 years 10 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 ...
159
click to vote
ITICSE
1997
ACM
15 years 10 months ago
1997
ACM
The Web reduces the economic hurdles of publishing a message to a large audience. This paper documents a pedagogical pattern to integrate community service with the curriculum. St...
149
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
141
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
The MiTAP system was developed as an experimental prototype using human language technologies for monitoring disease outbreaks. The system provides timely, multi-lingual, global i...