Sciweavers

973 search results - page 128 / 195
» Updating computer science education
Sort
View
ITICSE
2000
ACM
15 years 10 months ago
Integrating interactive computer-based learning experiences into established curricula: a case study
Educators who wish to integrate interactive computerbased learning experiences into established courses must contend not only with the difficulty of creating quality digital conte...
Anne Morgan Spalter, Rosemary Michelle Simpson
ITICSE
1999
ACM
15 years 10 months ago
A strategy for managing content complexity in algorithm animation
Computer animation is an excellent medium for capturing the dynamic nature of data structure manipulations, and can be used to advantage in the teaching of algorithms and data str...
Linda Stern, Harald Søndergaard, Lee Naish
CORR
2010
Springer
124views Education» more  CORR 2010»
15 years 6 months ago
On Omega Context Free Languages which are Borel Sets of Infinite Rank
This paper is a continuation of the study of topological properties of omega context free languages (-CFL). We proved in [Topological Properties of Omega Context Free Languages, T...
Olivier Finkel
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 6 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 6 months ago
On Generation of Firewall Log Status Reporter (SRr) Using Perl
Computer System Administration and Network Administration are few such areas where Practical Extraction Reporting Language (Perl) has robust utilization these days apart from Bioi...
Sugam Sharma, Hari Cohly, Tzusheng Pei