標(biāo)題: Titlebook: Assurances for Self-Adaptive Systems; Principles, Models, Javier Cámara,Rogério Lemos,Antónia Lopes Book 2013 Springer-Verlag Berlin Heide [打印本頁] 作者: Corrugate 時(shí)間: 2025-3-21 18:56
書目名稱Assurances for Self-Adaptive Systems影響因子(影響力)
書目名稱Assurances for Self-Adaptive Systems影響因子(影響力)學(xué)科排名
書目名稱Assurances for Self-Adaptive Systems網(wǎng)絡(luò)公開度
書目名稱Assurances for Self-Adaptive Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Assurances for Self-Adaptive Systems被引頻次
書目名稱Assurances for Self-Adaptive Systems被引頻次學(xué)科排名
書目名稱Assurances for Self-Adaptive Systems年度引用
書目名稱Assurances for Self-Adaptive Systems年度引用學(xué)科排名
書目名稱Assurances for Self-Adaptive Systems讀者反饋
書目名稱Assurances for Self-Adaptive Systems讀者反饋學(xué)科排名
作者: FLORA 時(shí)間: 2025-3-21 21:09
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 作者: 保守黨 時(shí)間: 2025-3-22 01:19
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作者: 金桌活畫面 時(shí)間: 2025-3-22 07:31
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作者: 黑豹 時(shí)間: 2025-3-22 12:12
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 時(shí)間: 2025-3-22 14:36
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作者: 方舟 時(shí)間: 2025-3-22 18:08
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作者: 有角 時(shí)間: 2025-3-22 22:39 作者: 大方一點(diǎn) 時(shí)間: 2025-3-23 02:36 作者: OASIS 時(shí)間: 2025-3-23 09:16
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作者: COM 時(shí)間: 2025-3-23 13:33 作者: myriad 時(shí)間: 2025-3-23 17:03 作者: 場(chǎng)所 時(shí)間: 2025-3-23 21:29 作者: 享樂主義者 時(shí)間: 2025-3-24 02:09
Javier Cámara,Rogério Lemos,Antónia LopesContains papers from recognized experts.Valuable for both practitioners and researchers.Stepping stone for future research作者: Aprope 時(shí)間: 2025-3-24 03:39 作者: 詞匯表 時(shí)間: 2025-3-24 09:18
Assurances for Self-Adaptive Systems978-3-642-36249-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: LVAD360 時(shí)間: 2025-3-24 11:06
https://doi.org/10.1007/978-3-8350-9338-6iques at run time represent one of them since they support automatic reasoning about such changes, detect harmful configurations, and potentially enable appropriate (self-)reactions. However, traditional model checking techniques and tools may not be applied as they are at run time, since they hardl作者: condescend 時(shí)間: 2025-3-24 15:15
Zertifikations- und Delegationsketten,setting 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 作者: vector 時(shí)間: 2025-3-24 20:41
Privilege-Management-Infrastrukturen,systems 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作者: FRET 時(shí)間: 2025-3-25 00:31 作者: 粗鄙的人 時(shí)間: 2025-3-25 03:35 作者: absorbed 時(shí)間: 2025-3-25 09:19
Untersuchungsdesign und Datenerhebung,s 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作者: Progesterone 時(shí)間: 2025-3-25 12:49
Untersuchungsdesign und Datenerhebung,cy 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作者: GRIPE 時(shí)間: 2025-3-25 18:06 作者: 啪心兒跳動(dòng) 時(shí)間: 2025-3-25 21:52 作者: amputation 時(shí)間: 2025-3-26 01:16 作者: 褻瀆 時(shí)間: 2025-3-26 05:33
https://doi.org/10.1007/978-3-8349-8070-0urance level. Self-adaptive systems for the Cloud are commonly built by means of controllers that aim to guarantee the required quality of service while containing costs, through a careful allocation of resources. Controllers determine the allocation of resources at runtime, based on the inputs and 作者: 維持 時(shí)間: 2025-3-26 09:34 作者: 含糊 時(shí)間: 2025-3-26 15:40
https://doi.org/10.1007/978-3-8349-8070-0of both self-adaptation . high integrity, and explores the starting point for the quest to make it a reality. We overview emerging techniques for the engineering of self-adaptive high-integrity software, propose a service-based architecture that aims to integrate these techniques, and discuss opportunities for future research.作者: GLIDE 時(shí)間: 2025-3-26 19:36 作者: 幾何學(xué)家 時(shí)間: 2025-3-27 00:22 作者: FRET 時(shí)間: 2025-3-27 01:23 作者: 放肆的你 時(shí)間: 2025-3-27 08:28
https://doi.org/10.1007/978-3-8350-9338-6onents at runtime. Modeling is based on a syntactically and semantically rigorously defined and partially refined subset of UML. Verification is based on a special type of decomposition and compositional model checking to make it scalable.作者: 加劇 時(shí)間: 2025-3-27 09:51
Untersuchungsdesign und Datenerhebung,ue to false negative predictions). This book chapter reviews solutions for measuring and ensuring the accuracy of online service quality predictions. It critically analyses their applicability in the setting of third-party services and supports this analysis with empirical data.作者: cinder 時(shí)間: 2025-3-27 17:29 作者: Introduction 時(shí)間: 2025-3-27 18:48 作者: 懸掛 時(shí)間: 2025-3-28 01:20
Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUMLonents at runtime. Modeling is based on a syntactically and semantically rigorously defined and partially refined subset of UML. Verification is based on a special type of decomposition and compositional model checking to make it scalable.作者: 流眼淚 時(shí)間: 2025-3-28 04:35 作者: 小隔間 時(shí)間: 2025-3-28 06:53
0302-9743 plexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconf作者: emulsify 時(shí)間: 2025-3-28 12:14
Book 2013presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques.作者: Bucket 時(shí)間: 2025-3-28 16:15 作者: Evocative 時(shí)間: 2025-3-28 20:08 作者: 盡責(zé) 時(shí)間: 2025-3-28 23:22 作者: headlong 時(shí)間: 2025-3-29 03:48 作者: STEER 時(shí)間: 2025-3-29 09:56 作者: 猜忌 時(shí)間: 2025-3-29 14:31
https://doi.org/10.1007/978-3-8349-8070-0he flexibility and scope of the system adaptability, and to the accuracy of the assurance results. We group control models in three main classes that depend on the kind of supported assurance that may be checked either at design or runtime. Controllers that support assurance of the control models at作者: AUGUR 時(shí)間: 2025-3-29 16:22 作者: 和諧 時(shí)間: 2025-3-29 21:39
Probabilistic Verification at Runtime for Self-Adaptive Systemsl formulae. In particular, the paper discusses the use of probabilistic model checking at run-time for self-adaptive systems by surveying and comparing the existing approaches divided in two categories: state-elimination algorithms and algebra-based algorithms. The discussion is supported by a reali作者: commensurate 時(shí)間: 2025-3-30 01:28
Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architecturesmal basis. If heterogeneous multi-agent systems with self-* properties are modeled so that relies are implied by the other components’ guarantees, it is possible to formally verify correct system behavior. When using observer/controller architectures the approach also allows systematic decomposition作者: menopause 時(shí)間: 2025-3-30 06:42 作者: 辮子帶來幫助 時(shí)間: 2025-3-30 08:34 作者: 刀鋒 時(shí)間: 2025-3-30 14:05 作者: harangue 時(shí)間: 2025-3-30 16:48
Assurance of Self-adaptive Controllers for the Cloudhe flexibility and scope of the system adaptability, and to the accuracy of the assurance results. We group control models in three main classes that depend on the kind of supported assurance that may be checked either at design or runtime. Controllers that support assurance of the control models at作者: GLADE 時(shí)間: 2025-3-30 23:00
Model Checking Adaptive Software with Featured Transition Systems
