10271 search results - page 600 / 2055 » Computer Science |
174
click to vote
SIGADA
2005
Springer
16 years 20 days 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...
156
click to vote
GI
2004
Springer
16 years 17 days ago
2004
Springer
d Abstract) Zinaida Benenson Felix G¨artner Dogan Kesdogan RWTH Aachen, Department of Computer Science, D-52056 Aachen, Germany : If the data collected within a sensor network is ...
226
click to vote
ACSE
2000
ACM
15 years 11 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 ...
212
click to vote
CSEE
2000
Springer
15 years 11 months ago
2000
Springer
The field of component-based software engineering (CBSE) is currently in a period of rapid growth and change. No longer is the field dominated by discussions of traditional kinds ...
175
click to vote
ITICSE
1997
ACM
15 years 11 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...