DocMan: a document management system for cooperation support | IEEE Conference Publication | IEEE Xplore