Cloud Computing Methods for Leaking Detection of Halogen Pipeline Based On Distributed Terminals | IEEE Conference Publication | IEEE Xplore