Intelligent Modeling and Verification 2014

Guiming Luo 1 and Xiaoyu Song 2 and Xiaojing Yang 3 and Krishnaiyan Thulasiraman 4 1, School of Software, Tsinghua University, Beijing 100084, China 2, Maseeh College of Electrical and Computer Engineering, Portland State University, P.O. Box 751, Portland, OR 97207, USA 3, Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China 4, School of Computer Science, University of Oklahoma, 200 Felgar Street, Room 114, Norman, OK 73019, USA Received 24 September 2014; Accepted 24 September 2014; 22 December 2014 This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. In order to avoid routing livelock and guarantee multiple terminals' satisfaction, network modeling and scheduling are investigated in "Adaptive fault-tolerant routing in 2D mesh with cracky rectangular model" (Y. Yang et al.), "A bio-inspired QoS-oriented handover model in heterogeneous wireless networks" (D. Tian et al.), and "An efficient multitask scheduling model for wireless sensor networks" (H. Yin et al.).