..............page:129-134
..............page:135-142
..............page:143-148
Application-Oriented Cloud Monitoring Data Distribution Mechanism
LI Da-zhi;LIU Jian-hua;DONG Xin;LI Lu-qun;CHEN Jun-hua;School of Electronic Information and Electric Engineering;Shanghai Jiaotong University;College of Information;Mechamical and Electrical Engineering;Shanghai Normal University;College of Mathematics;Physics and Information Engineering;Jiaxing University;
..............page:149-155
..............page:156-163
..............page:164-170
..............page:171-176
..............page:177-184
A Logical Characterization for Linear Higher-Order Processes
XU Xian;LONG Huan;Department of Computer Science and Technology;East China University of Science and Technology;Laboratory of Basic Study In Computing Science;MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems;Department of Computer Science and Engineering;Shanghai Jiaotong University;
..............page:185-194
..............page:195-201
..............page:202-208
Design and Analysis of an Adaptive Handover Protocol for 4G Networks
BHASKAR Subbe Gowda;SATISH KUMAR Gandluru Arthur Edwin;RAMANA REDDY Patil;Electronics and Communication Engineering Department;Sri Jagadguru Chandrashekaranatha Swamiji Institute of Technology;Electronics and Communication Engineering Department;Stanley Stephen College of Engineering and Technology;Electronics and Communication Engineering Department;Jawaharlal Nehru Technological University Anantapur;
..............page:209-217
..............page:218-223
..............page:224-227
..............page:228-233
..............page:234-242
..............page:243-250
..............page:251-256