2435 search results - page 268 / 487 » GPSS - 40 years of development |
159
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
Building repositories for e-learning is an iterative process and course content and course structure are always changing. We realized the necessity to separate content from structu...
205
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
The BaBar experiment at the Stanford Linear Accelerator Center (SLAC) is designed to perform a high precision investigation of the decays of the B-meson produced from electron-pos...
197
click to vote
AC
1999
Springer
15 years 11 months ago
1999
Springer
Prior to 1994, student registration at Newcastle University involved students being registered in a single place, where they would present a form which had previously been filled ...
176
click to vote
ELPUB
1998
ACM
15 years 11 months ago
1998
ACM
Print has been the most significant scholarly communication technology for the last three hundred years (at least). Kaufer and Carley’s Ecology of Communicative Transactions ana...
218
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...