Special Focus on Advanced Technology of Software
INSIGHT Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 7

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 Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 3

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 Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 1

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 Webpage Webpage-cn 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 Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 9

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 Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 4

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 Webpage Webpage-cn 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 Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 2

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