Spectrum Trading in Cognitive Radio Network: An Agent-Based Model under Demand Uncertainty | IEEE Conference Publication | IEEE Xplore