Titlebook: Assurances for Self-Adaptive Systems; Principles, Models, Javier Cámara,Rogério Lemos,Antónia Lopes Book 2013 Springer-Verlag Berlin Heide

Corrugate

书目名称Assurances for Self-Adaptive Systems影响因子(影响力)




书目名称Assurances for Self-Adaptive Systems影响因子(影响力)学科排名




书目名称Assurances for Self-Adaptive Systems网络公开度




书目名称Assurances for Self-Adaptive Systems网络公开度学科排名




书目名称Assurances for Self-Adaptive Systems被引频次




书目名称Assurances for Self-Adaptive Systems被引频次学科排名




书目名称Assurances for Self-Adaptive Systems年度引用




书目名称Assurances for Self-Adaptive Systems年度引用学科排名




书目名称Assurances for Self-Adaptive Systems读者反馈




书目名称Assurances for Self-Adaptive Systems读者反馈学科排名

FLORA

Verification of a Self-configuration Protocol for Distributed Applications in the Cloudsetting up, (re)configuring, and monitoring these applications is a real burden since a software application may depend on several remote software and virtual machine configurations. These management tasks involve many complex protocols, which fully automate these tasks while preserving application

保守党

Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architecturessystems make autonomous decisions, their behavior is hard to predict. Without behavioral guarantees their acceptance, especially in safety critical applications, is arguable. This chapter presents a rigorous specification and verification approach for self-* systems that allows giving behavioral gua

金桌活画面

Timed Hazard Analysis of Self-healing Systems failures by a structural reconfiguration of the architecture during runtime. This means the exchange of components or the modification of the components’ connections, in order to avoid that a failure results in a hazard. This reaction is subject to hard real-time constraints because reacting too la

黑豹

Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML mechatronic systems). Software will build communities of autonomous agents at runtime which exploit local and global networking to enhance and optimize their functionality leading to self-adaptation or self-optimization. However, current development techniques are not capable of providing the safet

leniency

Model-Based Reasoning for Self-Adaptive Systems – Theory and Practices a demanding task. This holds especially in the case where systems heavily interact with their environment. Even in case that the most common faults can be handled, it is very unlikely to capture all possible faults or interaction patterns at development time. As a consequence self-adaptive systems

方舟

Achieving Self-adaptation through Dynamic Group Managementcy response. In all these applications high volumes of typically volatile software components need to coordinate and collaborate to achieve a common goal, given a defined set of constraints..In our A-3 initiative we advocate that the coordination of high volumes of volatile components can be simplif

有角

大方一点

OASIS

Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Softwarens may lead to financial loss or loss of life. Many of these software systems need to deliver not only high integrity but also self adaptation to the continual changes that characterise such application areas. A challenge long solved by control theory for continuous-behaviour systems was thus reopen