1809 search results - page 226 / 362 » Using GDE in Educational Systems |
127
click to vote
IMC
2006
ACM
15 years 11 months ago
2006
ACM
An important stage of wide-area systems and networking research is to prototype a system to understand its performance when deployed in the real Internet. A key requirement of pro...
132
click to vote
ITICSE
2006
ACM
15 years 10 months ago
2006
ACM
It is well known that women’s involvement in the field of Computer Science is very low in the USA. This is viewed as a significant problem and has become a great concern to educ...
160
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
147
click to vote
FLAIRS
2000
15 years 6 months ago
2000
This article presents the description of the objectives, the structure and the functionality of an interactive system intended to focus the teaching on the performanceof the stude...
133
Voted
IFIP12
2004
15 years 6 months ago
2004
: The experience from years of development and use, the advance of technology, and the development of authoring tools for questions and tests has resulted in a sophisticated, compu...