1943 search results - page 303 / 389 » Software and higher education |
180
Voted
ITICSE
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes the development and use of practical examinations which include a significant element of software control of the administrative process. The educational metho...
162
Voted
IUI
1997
ACM
15 years 10 months ago
1997
ACM
Historically, efforts at user modelling in educational systems have tended to employ knowledge representations in which symbolic (or "linguistic") cognition is emphasize...
198
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
139
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
A novel valveless micro impedance pump is proposed and analyzed in this study. The pump is constructed of a upper glass plate, two glass tubes, a PDMS (polydimethylsilxane) diaphr...
159
Voted
CORR
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...