User management in an educational computer system: personal information management | IEEE Conference Publication | IEEE Xplore