1000-9825
2008 Issue 1
..............page:封3
Clustering Algorithms Research
SUN Ji-Gui;LIU Jie;ZHAO Lian-Yu
SUN Ji-Gui;LIU Jie;ZHAO Lian-Yu
..............page:48-61
Applying Variable Minimal Unsatisfiability in Model Checking
CHEN Zhen-Yu;TAO Zhi-Hong;KLEINE B(U)NING Hans;WANG Li-Fu
CHEN Zhen-Yu;TAO Zhi-Hong;KLEINE B(U)NING Hans;WANG Li-Fu
..............page:39-47
Advances in Predicate Abstraction
QU Wan-Xia;LI Tun;GUO Yang;YANG Xiao-Dong
QU Wan-Xia;LI Tun;GUO Yang;YANG Xiao-Dong
..............page:27-38
Program Verification Techniques Based on the Abstract Interpretation Theory
LI Meng-Jun;LI Zhou-Jun;CHEN Huo-Wang
LI Meng-Jun;LI Zhou-Jun;CHEN Huo-Wang
..............page:17-26
Processing System of Quantum Programming Language NDQJava
SONG Fang-Min;QIAN Shi-Jun;DAI Jing-An;ZHANG Yun-Jie;XU Jia-Fu
SONG Fang-Min;QIAN Shi-Jun;DAI Jing-An;ZHANG Yun-Jie;XU Jia-Fu
..............page:9-16
Quantum Programming Language NDQJava
XU Jia-Fu;SONG Fang-Min;QIAN Shi-Jun;DAI Jing-An;ZHANG Yun-Jie
XU Jia-Fu;SONG Fang-Min;QIAN Shi-Jun;DAI Jing-An;ZHANG Yun-Jie
..............page:1-8
SE-BGP: An Approach for BGP Security
HU Xiang-Jiang;ZHU Pei-Dong;GONG Zheng-Hu
HU Xiang-Jiang;ZHU Pei-Dong;GONG Zheng-Hu
..............page:167-176
A Cross-Layer Scheduling Algorithm for Real-Time Applications in Wireless Networks
HAO Dan-Dan;ZOU Shi-Hong;CHENG Shi-Duan
HAO Dan-Dan;ZOU Shi-Hong;CHENG Shi-Duan
..............page:156-166
A Pricing Model of Inter-Domain Multicasting Based on Game Theory
ZHAO Jin-Jing;ZHU Pei-Dong;LU Xi-Cheng
ZHAO Jin-Jing;ZHU Pei-Dong;LU Xi-Cheng
..............page:144-155
Document Collection Partition Evaluation in Distributed Information Retrieval
ZHANG Gang;TAN Jian-Long
ZHANG Gang;TAN Jian-Long
..............page:136-143
A Cooperant Congestion Control Protocol in High Bandwidth-Delay Product Networks
WANG Jian-Xin;GONG Hao;CHEN Jian-Er
WANG Jian-Xin;GONG Hao;CHEN Jian-Er
..............page:125-135
Trust Model Based on Minimal Uncertainty Metric in Wireless Mesh Network
DING Xu-Yang;FAN Ming-Yu;ZHU Da-Yong;WANG Jia-Hao
DING Xu-Yang;FAN Ming-Yu;ZHU Da-Yong;WANG Jia-Hao
..............page:116-124
Adaptive Information Brokerage in Wireless Sensor Networks
YU Zhao-Chun;ZHOU Shui-Geng;XIAO Bin
YU Zhao-Chun;ZHOU Shui-Geng;XIAO Bin
..............page:103-115
QoS Architecture in Beyond 3rd Generation Mobile Communication System
LIN Chuang;ZENG Rong-Fei;LEI Lei;XIAO Zhen-Sha
LIN Chuang;ZENG Rong-Fei;LEI Lei;XIAO Zhen-Sha
..............page:90-102
A Category Resolve Power-Based Feature Selection Method
XU Yan;LI Jin-Tao;WANG Bin;SUN Chun-Ming
XU Yan;LI Jin-Tao;WANG Bin;SUN Chun-Ming
..............page:82-89
An Approach to Learning PRM from Incomplete Relational Data
LI Xiao-Lin;ZHOU Zhi-Hua
LI Xiao-Lin;ZHOU Zhi-Hua
..............page:73-81
A Hierarchical Method for Determining the Number of Clusters
CHEN Li-Fei;JIANG Qing-Shan;WANG Sheng-Rui
CHEN Li-Fei;JIANG Qing-Shan;WANG Sheng-Rui
..............page:62-72