1000-9000
2010 Issue 6
covering-based routing algorithms for cyclic content-based p/s overlays
Ming-Wen Chen1;2;Jian Zhang1;2;Song-Lin Hu1;Senior Member;CCF and Zhi-Yong Liu1;Senior Member;CCF1Institute of Computing Technology;Chinese Academy of Sciences;Beijing 100190;China 2Graduate University of Chinese Academy of Sciences;Beijing 100049;China
Ming-Wen Chen1;2;Jian Zhang1;2;Song-Lin Hu1;Senior Member;CCF and Zhi-Yong Liu1;Senior Member;CCF1Institute of Computing Technology;Chinese Academy of Sciences;Beijing 100190;China 2Graduate University of Chinese Academy of Sciences;Beijing 100049;China
..............page:1214-1224
a cloud-based trust model for evaluating quality of web services
Shou-Xin Wang;Member CCF;Li Zhang;Member CCF;Shuai Wang and Xiang Qiu Institute of Software Engineering;School of Computer Science & Engineering;Beihang University;Beijing 100191;China
Shou-Xin Wang;Member CCF;Li Zhang;Member CCF;Shuai Wang and Xiang Qiu Institute of Software Engineering;School of Computer Science & Engineering;Beihang University;Beijing 100191;China
..............page:1130-1142
goal-based automated code generation in self-adaptive system
Joonhoon Lee1;Jeongmin Park2;Giljong Yoo1;and Eunseok Lee1;1Department of Electrical and Computer Engineering;Sungkyunkwan University;Suwon;Korea 2Department of Software Engineering;Dongyang Mirae University;Seoul;Korea
Joonhoon Lee1;Jeongmin Park2;Giljong Yoo1;and Eunseok Lee1;1Department of Electrical and Computer Engineering;Sungkyunkwan University;Suwon;Korea 2Department of Software Engineering;Dongyang Mirae University;Seoul;Korea
..............page:1118-1129
efficient relational techniques for processing graph queries
Sherif Sakr1;2;Member;ACM;and Ghazi Al-Naymat1;Member;ACM 1School of Computer Science and Engineering;University of New South Wales;Sydney;Australia 2Managing Complexity Group;National ICT Australia;ATP;Sydney;Australia
Sherif Sakr1;2;Member;ACM;and Ghazi Al-Naymat1;Member;ACM 1School of Computer Science and Engineering;University of New South Wales;Sydney;Australia 2Managing Complexity Group;National ICT Australia;ATP;Sydney;Australia
..............page:1237-1255
negative selection of written language using character multiset statistics
Matti Pll and Timo Honkela Department of Information and Computer Science;School of Science and Technology;Aalto University;P.O.Box 15400 FI-00076 Aalto;Finland
Matti Pll and Timo Honkela Department of Information and Computer Science;School of Science and Technology;Aalto University;P.O.Box 15400 FI-00076 Aalto;Finland
..............page:1256-1266
preface
Prof. De-Yi Li; State Key Lab of Software Development Environment; Beihang University Beijing 100191; China; Prof.Zhi-Yong Liu; Institute of Computing Technology; Chinese Academy of Sciences Beijing 100190; China; Prof. Ke-Qing He; State Key Lab of Software Engineering; Wuhan University; Wuhan 430072 China;
Prof. De-Yi Li; State Key Lab of Software Development Environment; Beihang University Beijing 100191; China; Prof.Zhi-Yong Liu; Institute of Computing Technology; Chinese Academy of Sciences Beijing 100190; China; Prof. Ke-Qing He; State Key Lab of Software Engineering; Wuhan University; Wuhan 430072 China;
..............page:1-2
measuring structural quality of object-oriented softwares via bug propagation analysis on weighted software networks
Wei-Feng Pan1;Member;CCF;Bing Li1;2;3;Senior Member;CCF Yu-Tao Ma1;3;Member;CCF;ACM;Ye-Yi Qin1;and Xiao-Yan Zhou11State Key Laboratory of Software Engineering;Wuhan University;Wuhan 430072;China 2School of Computer;Wuhan University;Wuhan 430072;China 3Complex Networks Research Center;Wuhan University;Wuhan 430072;China
Wei-Feng Pan1;Member;CCF;Bing Li1;2;3;Senior Member;CCF Yu-Tao Ma1;3;Member;CCF;ACM;Ye-Yi Qin1;and Xiao-Yan Zhou11State Key Laboratory of Software Engineering;Wuhan University;Wuhan 430072;China 2School of Computer;Wuhan University;Wuhan 430072;China 3Complex Networks Research Center;Wuhan University;Wuhan 430072;China
..............page:1202-1213
np-logic systems and model-equivalence reductions
Yu-Ping Shen1;2 and Xi-Shun Zhao1;1Institute of Logic and Cognition;Sun Yat-Sen University;Guangzhou 510275;China 2Department of Philosophy;Sun Yat-Sen University;Guangzhou 510275;China
Yu-Ping Shen1;2 and Xi-Shun Zhao1;1Institute of Logic and Cognition;Sun Yat-Sen University;Guangzhou 510275;China 2Department of Philosophy;Sun Yat-Sen University;Guangzhou 510275;China
..............page:1321-1326
formally analyzing expected time complexity of algorithms using theorem proving
Osman Hasan and Sofiène Tahar;Senior Member;IEEE;Member;ACM;Department of Electrical and Computer Engineering;Concordia University;Montreal;Canada
Osman Hasan and Sofiène Tahar;Senior Member;IEEE;Member;ACM;Department of Electrical and Computer Engineering;Concordia University;Montreal;Canada
..............page:1305-1320
attribute-based signature with policy-and-endorsement mechanism
Huai-Xi Wang1;5;Yan Zhu2;3;Rong-Quan Feng1;and Stephen S.Yau4;Fellow;IEEE 1LMAM;School of Mathematical Sciences;Peking University;Beijing 100871;China 2Institute of Computer Science and Technology;Peking University;Beijing 100871;China 3Key Laboratory of Network and Software Security Assurance;Ministry of Education Beijing 100871;China 4Information Assurance Center and School of Computing;Informatics and Decision Systems Engineering Arizona State University;Tempe;AZ 85287;U.S.A.5Electronic Engineering Institute;Hefei 230037;China
Huai-Xi Wang1;5;Yan Zhu2;3;Rong-Quan Feng1;and Stephen S.Yau4;Fellow;IEEE 1LMAM;School of Mathematical Sciences;Peking University;Beijing 100871;China 2Institute of Computer Science and Technology;Peking University;Beijing 100871;China 3Key Laboratory of Network and Software Security Assurance;Ministry of Education Beijing 100871;China 4Information Assurance Center and School of Computing;Informatics and Decision Systems Engineering Arizona State University;Tempe;AZ 85287;U.S.A.5Electronic Engineering Institute;Hefei 230037;China
..............page:1293-1304
..............page:1330-1332
eventual leader election with weak assumptions on initial knowledge,communication reliability,and synchrony
Antonio Fernández Anta1;Senior Member;ACM;IEEE;Ernesto Jim'enez2;and Michel Raynal3 1Institute IMDEA Networks;Avenida del Mar Mediterraneo;22;28918 Legan'es;Spain 2EUI;Universidad Politécnica de Madrid;28031 Madrid;Spain 3IRISA;Université de Rennes;Campus de Beaulieu 35 042 Rennes;France
Antonio Fernández Anta1;Senior Member;ACM;IEEE;Ernesto Jim'enez2;and Michel Raynal3 1Institute IMDEA Networks;Avenida del Mar Mediterraneo;22;28918 Legan'es;Spain 2EUI;Universidad Politécnica de Madrid;28031 Madrid;Spain 3IRISA;Université de Rennes;Campus de Beaulieu 35 042 Rennes;France
..............page:1267-1281
frontal and semi-frontal facial caricature synthesis using non-negative matrix factorization
Hua Huang;Senior Member;CCF;Member;IEEE;and Xiang-Wang Ma School of Electronics and Information Engineering;Xi'an Jiaotong University;Xi'an 710049;China
Hua Huang;Senior Member;CCF;Member;IEEE;and Xiang-Wang Ma School of Electronics and Information Engineering;Xi'an Jiaotong University;Xi'an 710049;China
..............page:1282-1292
web service composition based on qos rules
Ming-Wei Zhang1;2;Member;CCF;Bin Zhang2;Senior Member;CCF;Ying Liu1;2 Jun Na1;2;and Zhi-Liang Zhu1;Senior Member;CCF 1College of Software;Northeastern University;Shenyang 110004;China 2College of Information Science and Engineering;Northeastern University;Shenyang 110004;China
Ming-Wei Zhang1;2;Member;CCF;Bin Zhang2;Senior Member;CCF;Ying Liu1;2 Jun Na1;2;and Zhi-Liang Zhu1;Senior Member;CCF 1College of Software;Northeastern University;Shenyang 110004;China 2College of Information Science and Engineering;Northeastern University;Shenyang 110004;China
..............page:1143-1156
a hybrid set of complexity metrics for large-scale object-oriented software systems
Yu-Tao Ma1;2;3;Member;CCF;ACM;Ke-Qing He1;2;Senior Member;CCF;IEEE Bing Li1;2;Senior Member;CCF;Jing Liu1;2;and Xiao-Yan Zhou1 1State Key Lab of Software Engineering;Wuhan University;Wuhan 430072;China 2Complex Networks Research Center;Wuhan University;Wuhan 430072;China 3Institute of Electronic System Engineering;Beijing 100141;China
Yu-Tao Ma1;2;3;Member;CCF;ACM;Ke-Qing He1;2;Senior Member;CCF;IEEE Bing Li1;2;Senior Member;CCF;Jing Liu1;2;and Xiao-Yan Zhou1 1State Key Lab of Software Engineering;Wuhan University;Wuhan 430072;China 2Complex Networks Research Center;Wuhan University;Wuhan 430072;China 3Institute of Electronic System Engineering;Beijing 100141;China
..............page:1184-1201
a cloud-based bpm architecture with user-end distribution of non-compute-intensive activities and sensitive data
Yan-Bo Han1;Jun-Yi Sun1;2;Gui-Ling Wang1;and Hou-Fu Li1 1Institute of Computing Technology;Chinese Academy of Sciences;Beijing 100190;China 2Graduate University of Chinese Academy of Sciences;Beijing 100049;China
Yan-Bo Han1;Jun-Yi Sun1;2;Gui-Ling Wang1;and Hou-Fu Li1 1Institute of Computing Technology;Chinese Academy of Sciences;Beijing 100190;China 2Graduate University of Chinese Academy of Sciences;Beijing 100049;China
..............page:1157-1167
modeling and verifying concurrent programs with finite chu spaces
Xu-Tao Du1;Chun-Xiao Xing2;Member;CCF;IEEE and Li-Zhu Zhou1;Member;ACM 1Department of Computer Science and Technology;Tsinghua University;Beijing 100084;China 2Research Institute of Information Technology;Tsinghua University;Beijing 100084;China
Xu-Tao Du1;Chun-Xiao Xing2;Member;CCF;IEEE and Li-Zhu Zhou1;Member;ACM 1Department of Computer Science and Technology;Tsinghua University;Beijing 100084;China 2Research Institute of Information Technology;Tsinghua University;Beijing 100084;China
..............page:1168-1183
semantic interoperability aggregation in service requirements refinement
Ke-Qing He ; Senior Member; CCF; IEEE; Jian Wang; Member; CCF and Peng Liang ; Member; CCF; ACM; IEEE State Key Lab of Software Engineering ; Wuhan University; Wuhan 430072; China
Ke-Qing He ; Senior Member; CCF; IEEE; Jian Wang; Member; CCF and Peng Liang ; Member; CCF; ACM; IEEE State Key Lab of Software Engineering ; Wuhan University; Wuhan 430072; China
..............page:1103-1117
..............page:1327-1329
an uncertainty enhanced trust evolution strategy for e-science
Wei Du1;2;Guo-Hua Cui1;and Wei Liu2;3;4;Member;CCF1School of Computer Science and Technology;Huazhong University of Science and Technology;Wuhan 430074;China 2College of Computer Science and Technology;Wuhan University of Technology;Wuhan 430063;China 3State Key Lab of Software Engineering;Wuhan University;Wuhan 430072;China 4State Key Laboratory for Novel Software Technology;Nanjing University;Nanjing 210093;China
Wei Du1;2;Guo-Hua Cui1;and Wei Liu2;3;4;Member;CCF1School of Computer Science and Technology;Huazhong University of Science and Technology;Wuhan 430074;China 2College of Computer Science and Technology;Wuhan University of Technology;Wuhan 430063;China 3State Key Lab of Software Engineering;Wuhan University;Wuhan 430072;China 4State Key Laboratory for Novel Software Technology;Nanjing University;Nanjing 210093;China
..............page:1225-1236
..............page:1333