Ocean coverage management process for gliders operations | IEEE Conference Publication | IEEE Xplore