Modeling and Analysis for Proactive-Decision Spectrum Handoff in Cognitive Radio Networks | IEEE Conference Publication | IEEE Xplore