Volume 19,Issue 1,2008 Table of Contents

Other Issues:  
  
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(6002)]  [View PDF(4906)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(4419)]  [View PDF(3517)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(3736)]  [View PDF(3320)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(5545)]  [View PDF(6290)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(4129)]  [View PDF(3886)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(5299)]  [View PDF(7632)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(4862)]  [View PDF(4115)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(4256)]  [View PDF(3792)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(4984)]  [View PDF(4063)567.53 K]
  • Document Collection Partition Evaluation in Distributed Information Retrieval
  • ZHANG Gang and TAN Jian-Long
  • 2008,19(1):136-143 [Abstract(3585)]  [View PDF(3531)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(4482)]  [View PDF(3500)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(3854)]  [View PDF(3952)766.23 K]
  • SE-BGP: An Approach for BGP Security
  • HU Xiang-Jiang and ZHU Pei-Dong
  • 2008,19(1):167-176 [Abstract(4488)]  [View PDF(3827)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(9067)]  [View PDF(7095)521.14 K]
  • Advances in Predicate Abstraction
  • QU Wan-Xia,LI Tun,GUO Yang and YANG Xiao-Dong
  • 2008,19(1):27-38 [Abstract(6205)]  [View PDF(5592)583.01 K]
  • Clustering Algorithms Research
  • SUN Ji-Gui,LIU Jie1 and ZHAO Lian-Yu
  • 2008,19(1):48-61 [Abstract(23143)]  [View PDF(51420)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(6549)]  [View PDF(5396)964.58 K]