Sciweavers

3507 search results - page 196 / 702
» Specialized execution environments
Sort
View
CORR
2002
Springer
133views Education» more  CORR 2002»
15 years 4 months ago
Declarative program development in Prolog with GUPU
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
Ulrich Neumerkel, Stefan Kral
SIGCSE
2002
ACM
185views Education» more  SIGCSE 2002»
15 years 4 months ago
Computer science accessibility for students with visual disabilities
Students with visual disabilities face unique challenges in learning to be computer scientists. These challenges can be overcome, however, with the use of specialized software too...
Joan M. Francioni, Ann C. Smith
JAIHC
2010
134views more  JAIHC 2010»
15 years 2 months ago
Towards a new human-centred computing methodology for cooperative ambient intelligence
Cooperative ambient intelligence aims to improve users’ work and private life by analysing their current situation with a special focus on their social interaction and to adapt t...
Tom Gross
ETFA
2008
IEEE
15 years 11 months ago
Pinpointing interrupts in embedded real-time systems using context checksums
When trying to track down bugs using cyclic debugging, the ability to correctly reproduce executions is imperative. In sequential, deterministic, non-real-time software, this repr...
Daniel Sundmark, Henrik Thane
KBSE
2009
IEEE
15 years 11 months ago
A Petri Net Based Debugging Environment for QVT Relations
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
Manuel Wimmer, Gerti Kappel, Johannes Schönb&...