A PDA-based interface for a computer supported educational system | IEEE Conference Publication | IEEE Xplore