Titlebook: Neural Information Processing; 18th International C Bao-Liang Lu,Liqing Zhang,James Kwok Conference proceedings 2011 Springer-Verlag GmbH B

Osteons

HEED

里程碑

Tao Ban,Shanqing Guo,Masashi Eto,Daisuke Inoue,Koji Nakaoor Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems;? requirements

自由職業(yè)者

In-Situ

Chuantong Chen,Fengyu Wang,Fengbo Lin,Shanqing Guo,Bin Gongor Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems;? requirements

帽子

Liangxiong Li,Fengyu Wang,Tao Ban,Shanqing Guo,Bin Gongem designers usually rely on the architectures with the dynamically scaling degree of parallelism. However, to guarantee resilience of data processing, we should also ensure system fault tolerance, i.e., integrate the mechanisms for dynamic reconfiguration. In this paper, we present an approach to f

壁畫

Yun Li,Su-Yan Gao come from a robust decision-making process. The community also acknowledges that software architecture decision making is not an individual activity but a group process where architectural design decisions are made by groups of heterogeneous and dispersed stakeholders. The decision-making process i

傷心

Shu-Hsien Liao,Yin-Ju Chen,Shiu-Hwei Hosm is establishing and maintaining an understanding of the interdependencies between infrastructures. Understanding interdependencies is a challenge both for governments and for infrastructure owners/operators. Both, to a different extent, have an interest in services and tools that can enhance thei

pantomime

審問,審訊

Tze-Haw Huang,Mao Lin Huang,Jesse S. Jinn the trustworthiness of robotic and autonomous systems. In this chapter, we argue that demonstrable trustworthiness can be achieved by design, through transparency and by rigorous verification and validation. We then concentrate on ensuring correctness during system development, with specific focus