Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Modeling and analyzing MAPE-K feedback loops for self-adaptation
The MAPE-K (Monitor-Analyze-Plan-Execute over a shared Knowledge) feedback loop is
the most influential reference control model for autonomic and self-adaptive systems. This …
the most influential reference control model for autonomic and self-adaptive systems. This …
Smart airports: Review and open research issues
Airport exercises and action plans have significantly improved in the last two decades. They
help in the development of the worldwide carrier industry. The amendment of the tenets …
help in the development of the worldwide carrier industry. The amendment of the tenets …
Formal design and verification of self-adaptive systems with decentralized control
Feedback control loops that monitor and adapt managed parts of a software system are
considered crucial for realizing self-adaptation in software systems. The MAPE-K (Monitor …
considered crucial for realizing self-adaptation in software systems. The MAPE-K (Monitor …
Topological characterization of complex systems: Using persistent entropy
In this paper, we propose a methodology for deriving a model of a complex system by
exploiting the information extracted from topological data analysis. Central to our approach …
exploiting the information extracted from topological data analysis. Central to our approach …
A conceptual framework for adaptation
In this position paper we present a conceptual vision of adaptation, a key feature of
autonomic systems. We put some stress on the role of control data and argue how some of …
autonomic systems. We put some stress on the role of control data and argue how some of …
A symbolic model checking approach in formal verification of distributed systems
Abstract Model checking is an influential method to verify complex interactions, concurrent
and distributed systems. Model checking constructs a behavioral model of the system using …
and distributed systems. Model checking constructs a behavioral model of the system using …
The Role of Complex Systems in Predictive Analytics for E-Commerce Innovations in Business Management.
M Madanchian - Systems, 2024 - search.ebscohost.com
This review explores the incorporation of complex systems theory into predictive analytics in
the e-commerce sector, particularly emphasizing recent advancements in business …
the e-commerce sector, particularly emphasizing recent advancements in business …
RINGA: Design and verification of finite state machine for self-adaptive software at runtime
Context In recent years, software environments such as the cloud and Internet of Things
(IoT) have become increasingly sophisticated, and as a result, development of adaptable …
(IoT) have become increasingly sophisticated, and as a result, development of adaptable …
An algebraic language for RNA pseudoknots comparison
Background RNA secondary structure comparison is a fundamental task for several studies,
among which are RNA structure prediction and evolution. The comparison can currently be …
among which are RNA structure prediction and evolution. The comparison can currently be …
[PDF][PDF] A topological approach for multivariate time series characterization: the epileptic brain
In this paper we propose a methodology based on Topogical Data Analysis (TDA) for
capturing when a complex system, represented by a multivariate time series, changes its …
capturing when a complex system, represented by a multivariate time series, changes its …