Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Component-based distributed software reconfiguration: a verification-oriented survey
Distributed software built from components has become a mainstay of service-oriented
applications, which frequently undergo reconfigurations to adapt to changes in their …
applications, which frequently undergo reconfigurations to adapt to changes in their …
Toward safe and efficient reconfiguration with concerto
For large-scale distributed systems that need to adapt to a changing environment,
conducting a reconfiguration is a challenging task. In particular, efficient reconfigurations …
conducting a reconfiguration is a challenging task. In particular, efficient reconfigurations …
Madeus: A formal deployment model
Distributed software architecture is composed of multiple interacting modules, or
components. Deploying such software consists in installing them on a given infrastructure …
components. Deploying such software consists in installing them on a given infrastructure …
Design process for system of systems reconfigurations
F Petitdemange, I Borne, J Buisson - Systems Engineering, 2021 - Wiley Online Library
Abstract Systems of systems (SoSs) constitute a particular class of systems, whose
constituents are themselves systems in their own right. Such systems present architectures …
constituents are themselves systems in their own right. Such systems present architectures …
Formal methods in dynamic software updating: a survey
Dymanic software updating (DSU) consists in updating running programs on-the-fly without
any downtime that leads to systems unavailability. The use of DSU in critical applications …
any downtime that leads to systems unavailability. The use of DSU in critical applications …
State transfer management in adaptive software: An approach from design to runtime
NT Huynh - 2019 IEEE-RIVF International Conference on …, 2019 - ieeexplore.ieee.org
Dynamic adaptation of software is the change in the structure or behavior of the software at
runtime without stop** whole system. In component-based adaptive software, an …
runtime without stop** whole system. In component-based adaptive software, an …
A formal verification of dynamic updating in a Java-based embedded system
Dynamic software updating (DSU) consists in updating running programs on the fly without
any downtime. This feature is interesting in critical applications that must run continuously …
any downtime. This feature is interesting in critical applications that must run continuously …
Assisting the evolutionary development of SoS with reconfiguration patterns
F Petitdemange, I Borne, J Buisson - Proccedings of the 10th European …, 2016 - dl.acm.org
System of systems (SoS) engineering is an emerging approach to deal with complex
systems that have low or no control over their constituents. An SoS must adapt itself not only …
systems that have low or no control over their constituents. An SoS must adapt itself not only …
A development process for building adaptative software architectures
NT Huynh - 2017 - theses.hal.science
Adaptive software is a class of software which is able to modify its own internal structure and
hence its behavior at runtime in response to changes in its operating environment. Adaptive …
hence its behavior at runtime in response to changes in its operating environment. Adaptive …
Adaptive and reconfigurable software systems and architectures
Adaptation is a key requirement for many software systems, such as cloud-based, cyber-
physical and mobile systems. These systems are designed to satisfy different needs and …
physical and mobile systems. These systems are designed to satisfy different needs and …