Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Formal specification and verification of autonomous robotic systems: A survey
Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …
formal specification and verification uniquely challenging. Though commonly used, testing …
Models@ run. time: a guided tour of the state of the art and research challenges
More than a decade ago, the research topic models@ run. time was coined. Since then, the
research area has received increasing attention. Given the prolific results during these …
research area has received increasing attention. Given the prolific results during these …
Engineering trustworthy self-adaptive software with dynamic assurance cases
Building on concepts drawn from control theory, self-adaptive software handles
environmental and internal uncertainties by dynamically adjusting its architecture and …
environmental and internal uncertainties by dynamically adjusting its architecture and …
Self-adaptation in industry: A survey
Computing systems form the backbone of many areas in our society, from manufacturing to
traffic control, healthcare, and financial systems. When software plays a vital role in the …
traffic control, healthcare, and financial systems. When software plays a vital role in the …
Software engineering for self-adaptive systems: Research challenges in the provision of assurances
The important concern for modern software systems is to become more cost-effective, while
being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable …
being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable …
Perpetual assurances for self-adaptive systems
Providing assurances for self-adaptive systems is challenging. A primary underlying
problem is uncertainty that may stem from a variety of different sources, ranging from …
problem is uncertainty that may stem from a variety of different sources, ranging from …
Testing of autonomous systems–Challenges and current state‐of‐the‐art
P Helle, W Schamai, C Strobel - INCOSE international …, 2016 - Wiley Online Library
Autonomous systems are on the rise. However, the challenge to test autonomous systems to
ensure their safe and fault‐free behaviour is not solved yet. This is especially critical when …
ensure their safe and fault‐free behaviour is not solved yet. This is especially critical when …
Efficient analysis of large adaptation spaces in self-adaptive systems using machine learning
When a self-adaptive system detects that its adaptation goals may be compromised, it needs
to determine how to adapt to ensure its goals. To that end, the system can analyze the …
to determine how to adapt to ensure its goals. To that end, the system can analyze the …
WiP: A novel blockchain-based trust model for cloud identity management
Secure and reliable management of identities has become one of the greatest challenges
facing cloud computing today, mainly due to the huge number of new cloud-based …
facing cloud computing today, mainly due to the huge number of new cloud-based …
A systematic literature review on methods that handle multiple quality attributes in architecture-based self-adaptive systems
Context Handling multiple quality attributes (QAs) in the domain of self-adaptive systems is
an understudied research area. One well-known approach to engineer adaptive software …
an understudied research area. One well-known approach to engineer adaptive software …