330 search results - page 57 / 66 » Reflections on a programming Olympiad |
JUCS
2006
13 years 11 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
JUCS
2006
13 years 11 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
IGARSS
2010
13 years 5 months ago
2010
Polarimetric scene phenomenology yields a remote sensing modality that can be used in tandem with or alternative to panchromatic, multispectral, hyperspectral, or infrared intensi...
TOOLS
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...
CCS
2006
ACM
14 years 2 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...