Sciweavers

5254 search results - page 291 / 1051
» The Evaluation of Courses in Information Systems
Sort
View
SIGCSE
2005
ACM
106views Education» more  SIGCSE 2005»
16 years 8 days ago
A model for improving secondary CS education
This paper describes how the Institute for Computing Education (ICE) at Georgia Tech is trying to improve the state of computer science education in secondary schools in Georgia. ...
Barbara Ericson, Mark Guzdial, Maureen Biggers
SIGITE
2004
ACM
16 years 4 days ago
Experiences using tablet PCs in a programming laboratory
This experience report describes lessons learned using first generation tablet PCs to support active learning in an undergraduate computer science laboratory course. We learned th...
Stephen H. Edwards, N. Dwight Barnette
LATIN
2004
Springer
16 years 2 days ago
Global Synchronization in Sensornets
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
Jeremy Elson, Richard M. Karp, Christos H. Papadim...
CCS
2003
ACM
15 years 12 months ago
Secure protocol composition
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...
SPIRE
2000
Springer
15 years 10 months ago
Virtual Test Tubes: A New Methodology for Computing
Biomolecular computing (BMC) aims to capture the innumerable advantages that biological molecules have gained in the course of millions of years of evolution to perform computatio...
Max H. Garzon, Evan Drumwright, Russell J. Deaton,...