1809 search results - page 114 / 362 » Using GDE in Educational Systems |
77
Voted
ICPPW
2000
IEEE
15 years 2 months ago
2000
IEEE
Abstract. We address the problem of Quality of Service (QoS) requirements for multimedia applications (e.g., distance education, telemedicine, electronic commerce). These applicati...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
It is difficult for instructors of CS1 and CS2 courses to get accurate answers to such critical questions as "how long are students spending on programming assignments?"...
73
Voted
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
Like a screenplay, a program is both a static artifact and instructions for a dynamic performance. This duality can keep laypeople from appreciating the complexity of software sys...
174
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
We introduce IR-Wire, a tool for information retrieval research and education in peer-to-peer file-sharing systems. Built on top of LimeWire's implementation of the popular G...