Contents

Quantum Programming Language NDQJava XU Jia-Fu,SONG Fang-Min,QIAN Shi-Jun,DAI Jing-An and ZHANG Yun-Jie 2008,19(1):1-8 [Abstract(7899)]  [View PDF(8386)419.28 K]

Processing System of Quantum Programming Language NDQJava QIAN Shi-Jun,DAI Jing-An,ZHANG Yun-Jie and XU Jia-Fu 2008,19(1):9-16 [Abstract(6445)]  [View PDF(7119)411.41 K]

Applying Variable Minimal Unsatisfiability in Model Checking CHEN Zhen-Yu,TAO Zhi-Hong,KLEINE BüNING Hans and WANG Li-Fu 2008,19(1):39-47 [Abstract(5796)]  [View PDF(6569)424.62 K]

A Hierarchical Method for Determining the Number of Clusters CHEN Li-Fei,JIANG Qing-Shan and WANG Sheng-Rui 2008,19(1):62-72 [Abstract(7971)]  [View PDF(11650)633.53 K]

An Approach to Learning PRM from Incomplete Relational Data LI Xiao-Lin and ZHOU Zhi-Hua 2008,19(1):73-81 [Abstract(5813)]  [View PDF(7518)920.43 K]

A Category Resolve Power-Based Feature Selection Method XU Yan,LI Jin-Tao,WANG Bin and SUN Chun-Ming 2008,19(1):82-89 [Abstract(7043)]  [View PDF(11259)442.59 K]

Adaptive Information Brokerage in Wireless Sensor Networks YU Zhao-Chun,ZHOU Shui-Geng and 1,2XIAO Bin 2008,19(1):103-115 [Abstract(6499)]  [View PDF(7899)839.94 K]

Trust Model Based on Minimal Uncertainty Metric in Wireless Mesh Network DING Xu-Yang,FAN Ming-Yu,ZHU Da-Yong and WANG Jia-Hao 2008,19(1):116-124 [Abstract(5983)]  [View PDF(7122)425.17 K]

A Cooperant Congestion Control Protocol in High Bandwidth-Delay Product Networks WANG Jian-Xin,GONG Hao and CHEN Jian-Er 2008,19(1):125-135 [Abstract(6595)]  [View PDF(7461)567.53 K]

Document Collection Partition Evaluation in Distributed Information Retrieval ZHANG Gang and TAN Jian-Long 2008,19(1):136-143 [Abstract(4924)]  [View PDF(6748)429.30 K]

A Pricing Model of Inter-Domain Multicasting Based on Game Theory ZHAO Jin-Jing,ZHU Pei-Dong and LU Xi-Cheng 2008,19(1):144-155 [Abstract(6001)]  [View PDF(6833)787.05 K]

A Cross-Layer Scheduling Algorithm for Real-Time Applications in Wireless Networks HAO Dan-Dan,ZOU Shi-Hong and CHENG Shi-Duan 2008,19(1):156-166 [Abstract(5358)]  [View PDF(7330)766.23 K]

SE-BGP: An Approach for BGP Security HU Xiang-Jiang and ZHU Pei-Dong 2008,19(1):167-176 [Abstract(6215)]  [View PDF(7062)493.80 K]

Review Articles

Program Verification Techniques Based on the Abstract Interpretation Theory LI Meng-Jun,LI Zhou-Jun and CHEN Huo-Wang 2008,19(1):17-26 [Abstract(11830)]  [View PDF(13591)521.14 K]

Advances in Predicate Abstraction QU Wan-Xia,LI Tun,GUO Yang and YANG Xiao-Dong 2008,19(1):27-38 [Abstract(8681)]  [View PDF(10857)583.01 K]

Clustering Algorithms Research SUN Ji-Gui,LIU Jie1 and ZHAO Lian-Yu 2008,19(1):48-61 [Abstract(30739)]  [View PDF(69749)671.39 K]

QoS Architecture in Beyond 3rd Generation Mobile Communication System LIN Chuang,ZENG Rong-Fei,LEI Lei and XIAO Zhen-Sha 2008,19(1):90-102 [Abstract(8989)]  [View PDF(11118)964.58 K]