A Cloud-Based Approach to GNSS Augmentation for Navigation Services | IEEE Conference Publication | IEEE Xplore