Vol. 59, No. 5, 2016 Cover Contents

Special Focus on Advanced Technology of Software
INSIGHT Website SpringerLink Google Scholar Cited in SCI: 5

Growing construction and adaptive evolution of complex software systems
Wang, Huaimin; Ding, Bo
Sci China Inf Sci, 2016, 59(5): 050101
Keywords: Complex software system; Growing construction; Adaptive evolution; Software development; Software evolution
Cite as: Wang H M, Ding B. Growing construction and adaptive evolution of complex software systems. Sci China Inf Sci, 2016, 59(5): 050101, doi: 10.1007/s11432-016-5546-4

Special Focus on Advanced Technology of Software
INSIGHT Website SpringerLink Google Scholar Cited in SCI: 2

Intelligent CPS: features and challenges
Yang, Gang; Zhou, Xingshe
Sci China Inf Sci, 2016, 59(5): 050102
Keywords: CPS; Cyber physical system; INtelligence; 2.0 era; spatial-temporal; human-machine cooperation
Cite as: Yang G, Zhou X S. Intelligent CPS: features and challenges. Sci China Inf Sci, 2016, 59(5): 050102, doi: 10.1007/s11432-016-5547-3

Special Focus on Advanced Technology of Software
INSIGHT Website SpringerLink Google Scholar Cited in SCI: 0

Intelligent CPSS and its application to health care computing
Liu, Dayou; Yang, Bo; Gao, Shang; Zhu, Yungang; Lai, Yong
Sci China Inf Sci, 2016, 59(5): 050103
Keywords: Intelligent CPSS; Health care computing; Artificial intelligence; Expert system; Data fusion
Cite as: Liu D Y, Yang B, Gao S, et al. Intelligent CPSS and its application to health care computing. Sci China Inf Sci, 2016, 59(5): 050103, doi: 10.1007/s11432-016-5545-5

Special Focus on Advanced Technology of Software
INSIGHT Website SpringerLink Google Scholar Cited in SCI: 0

Solving Boolean equation systems and applications in cryptanalysis
Gao, Xiaoshan; Huang, Zhenyu
Sci China Inf Sci, 2016, 59(5): 050104
Keywords: Boolean Equations; approximate algorithm; characteristic set algorithm; cryptanalysis; computational complexity
Cite as: Gao X S, Huang Z Y. Solving Boolean equation systems and applications in cryptanalysis. Sci China Inf Sci, 2016, 59(5): 050104, doi: 10.1007/s11432-016-5548-2

Special Focus on Advanced Technology of Software
INSIGHT Website SpringerLink Google Scholar Cited in SCI: 6

Theory and methodology of research on cloud security
Jin, Hai; Dai, Weiqi; Zou, Deqing
Sci China Inf Sci, 2016, 59(5): 050105
Keywords: Cloud Security; Cloud Computing; Virtual Machine; Privacy; TPM
Cite as: Jin H, Dai W Q, Zou D Q. Theory and methodology of research on cloud security. Sci China Inf Sci, 2016, 59(5): 050105, doi: 10.1007/s11432-016-5549-1

Special Focus on Advanced Technology of Software
INSIGHT Website SpringerLink Google Scholar Cited in SCI: 3

New trends of information security-how to change people's life style?
Cao, Zhenfu
Sci China Inf Sci, 2016, 59(5): 050106
Keywords: Communication channel security plus; Traceability; Revocability; Ciphertext Big data processing; Information security
Cite as: Cao Z F. New trends of information security-how to change people's life style?. Sci China Inf Sci, 2016, 59(5): 050106, doi: 10.1007/s11432-016-5558-0

Special Focus on Advanced Technology of Software
INSIGHT Website SpringerLink Google Scholar Cited in SCI: 0

Towards a bisimulation theory for open synchronized networks of automata
Madelaine, Eric; Zhang, Min
Sci China Inf Sci, 2016, 59(5): 050107
Keywords: Distributed system; Behavioral semantics; Symbolic program equivalences; Bisimulation; Models of asynchronous processes
Cite as: Madelaine E, Zhang M. Towards a bisimulation theory for open synchronized networks of automata. Sci China Inf Sci, 2016, 59(5): 050107, doi: 10.1007/s11432-016-5557-1

Special Focus on Advanced Technology of Software
INSIGHT Website SpringerLink Google Scholar Cited in SCI: 1

Metamorphic testing as a test case selection strategy
Towey, Dave; Dong, Yunwei; Sun, Chang-Ai; Chen, Tsong Yueh
Sci China Inf Sci, 2016, 59(5): 050108
Keywords: Software Testing; Metamorphic Testing; The Oracle Problem; Test Case Selection Strategy; Fault Detection
Cite as: Towey D, Dong Y W, Sun C-A, et al. Metamorphic testing as a test case selection strategy. Sci China Inf Sci, 2016, 59(5): 050108, doi: 10.1007/s11432-016-5544-6