Asynchronous Auction Models for Dynamic Spectrum Access -- A One-Pass Method of MIP