620 search results - page 90 / 124 » Computer tutoring for programming education |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
WMTE
2005
IEEE
14 years 1 months ago
2005
IEEE
The G1:1 international network of learning researchers met to identify major trends and uncertainties that could drive the evolution of learning technology. Using a technique call...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We introduce a novel software-protection method, which can be fully implemented with today's technologies, that provides traitor tracing and license-enforcement functionalitie...