This thesis addresses the formal verification of a support infrastructure for resilient dynamically reconfigurable systems. A component-based system, whose architectural configuration may change at runtime, is classed as dynamically reconfigurable. Such systems require a support infrastructure for the control of reconfigurations to provide resilience. The verification of such reconfiguration su...

discussion similar resilience scores in deaf and hearing participants may be due to appropriate interaction of deaf signers with family members and society. male deaf subjects were more resilient than female ones; studies should be done to examine the effects of cultural characteristics that may provide females with less communication opportunities than males. materials and methods this compara...

Recently, sensor data stream delivery system that collects sensor data periodically and delivers successively has been attracting great attention. As for this sensor data stream delivery, receivers are possible to require the same sensor data stream with different delivery cycles. Our research team proposed methods to distribute communication loads by relay nodes in the case of delivering the s...

I the article that begins on page 489 of this issue of BioScience, Andrew J. Kerkhoff and Brian J. Enquist make an important synthesis from two hitherto largely separate fields of biological inquiry. One is the conceptually well-established, although not uncontentious, area of allometric scaling laws. The other is the less-established area known as resilience. The concept of resilience, as appl...

Notably, in engineering and behavioral sciences, the topic of resilience is being investigated broadly quantitively in technical systems like infrastructure or public transportation and qualitatively with respect to social and organizational aspects. Especially with regard to disturbances and crises in complex socio-technical systems, human operators play a pivotal role in ensuring the continua...

1. The provisioning of ecosystem services to society is increasingly under pressure from global change. Changing disturbance regimes are of particular concern in this context due to their high potential impact on ecosystem structure, function and composition. Resilience-based stewardship is advocated to address these changes in ecosystem management, but its operational implementation has remain...

This paper explores the role of socioeconomic metrics in design, planning and operations civil engineering projects within specific context resilience. The inclusion resilience analysis design is consistent with goals ASCE Infrastructure Resilience Division (IRD) related emerging standards duties engineers. focuses on practices planning, construction, operation that can deliver social value to ...

A Product Line Architecture (PLA) should remain stable accommodating evolutionary changes of stakeholder’s requirements. Otherwise, architectural modifications may have to be propagated to products of a product line, thereby increasing maintenance costs. Hence, it is important to understand which techniques better cope with PLA stability through evolution. This paper presents a comparative stud...