Queuing-theoretical multi-user dynamic spectrum allocation & sharing mechanism in multi-channel cognitive radio networks | IEEE Conference Publication | IEEE Xplore