Advances in applying cloud computing techniques for air traffic systems | IEEE Conference Publication | IEEE Xplore