We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:

Search Results

Showing 1-20 of 10,000 results
  1. Machine-learning abstractions for component-based self-optimizing systems

    This paper features an approach that combines machine-learning abstractions with a component model. We target modern self-optimizing systems and...

    Michal Töpfer, Milad Abdullah, ... Martin Kruliš in International Journal on Software Tools for Technology Transfer
    Article 02 November 2023
  2. Component level diagnosability of discrete event systems based on observations

    Diagnosability of a discrete event system is usually dealt at the system level entailing synchronous composition of component automata leading to...

    S. Reshmila, R. Devanathan in Innovations in Systems and Software Engineering
    Article 30 November 2022
  3. Maintaining temporal validity of real-time data in component-based systems

    How to schedule the sensor transactions to maintain the temporal validity of real-time data is an important research issue for cyber-physical...

    Tian Bai, Zhi-Jie Li, ... Jun Liao in Computing
    Article 30 May 2022
  4. Detector-based component model abstraction for microservice-based systems

    One of the chief problems in software architecture is avoiding architecture model drift and erosion in all kinds of complex software systems....

    Evangelos Ntentos, Uwe Zdun, ... Wilhelm Hasselbring in Computing
    Article Open access 28 August 2021
  5. Enabling Dynamic Selection of Implementation Variants in Component-Based Parallel Programming for Heterogeneous Systems

    Heterogeneous systems, consisting of CPUs and GPUs, offer the capability to address the demands of compute- and data-intensive applications. However,...
    Conference paper 2024
  6. A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime

    Many visions for model-driven component-based development emphasize models as the “single source of truth” by which different forms of analysis,...
    Stefan Hallerstede, John Hatcliff in Formal Aspects of Component Software
    Conference paper 2024
  7. Adaptive Spatial Filtering-based Component Exploration model for SSVEP-based Brain-Computer Interface for target identification

    Non-invasive Brain-Computer Interface (BCI) systems have gained a massive boost from the advancement and developments in signal processing...

    K. R. Swetha, Ravikumar G. K., Shashikala S. V. in Multimedia Tools and Applications
    Article 21 August 2023
  8. Research on Script-Based Software Component Development

    As software demand proliferates and software size and complexity increase, traditional software development models face enormous challenges. As a...
    Yingnan Zhao, Yang Sun, ... Dan Lu in Green, Pervasive, and Cloud Computing
    Conference paper 2024
  9. A formal component model for UML based on CSP aiming at compositional verification

    Model-based engineering emerged as an approach to tackle the complexity of current system development. In particular, compositional strategies assume...

    Flávia Falcão, Lucas Lima, ... Pedro Antonino in Software and Systems Modeling
    Article 04 October 2023
  10. UEBCS: Software Development Technology Based on Component Selection

    Current software development has moved away from the traditional manual workshop model and emphasizes improving software product quality. To address...
    Yingnan Zhao, Xuezhao Qi, ... Dan Lu in Green, Pervasive, and Cloud Computing
    Conference paper 2024
  11. Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning

    Modern system design and development often consists of combining different components developed by separate vendors under some known constraints that...
    Itay Cohen, Doron Peled in Bridging the Gap Between AI and Reality
    Conference paper 2024
  12. A machine learning-based clustering approach to diagnose multi-component degradation of aircraft fuel systems

    Accurate fault diagnosis and prognosis can significantly reduce maintenance costs, increase the safety and availability of engineering systems that...

    Haochen Liu, Yifan Zhao, ... Zakwan Skaf in Neural Computing and Applications
    Article Open access 07 October 2021
  13. From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model

    Develo** distributed real-time systems is a complex task that has historically entailed specialized handcraft. In this paper, we propose a...

    Alessio Bucaioni, Federico Ciccozzi, ... Mikael Sjödin in Software and Systems Modeling
    Article Open access 19 May 2023
  14. Automated Property-Based Testing from AADL Component Contracts

    Effective and scalable quality assurance techniques are essential for realizing formal model-based development techniques for high-assurance systems....
    John Hatcliff, Jason Belt, ... Todd Carpenter in Formal Methods for Industrial Critical Systems
    Conference paper 2023
  15. Robustness improvement of component-based cloud computing systems

    With the increasing popularity of Cloud computing systems, the demand for highly dependable Cloud applications has increased significantly. For this,...

    Mounya Smara, Makhlouf Aliouat, ... Al-Sakib Khan Pathan in The Journal of Supercomputing
    Article 14 September 2021
  16. A principal component fusion-based thresholded bin-stretching for CT image enhancement

    Computed tomography (CT) images play an important role in the medical field to diagnose unhealthy organs, the structure of the inner body, and other...

    Sonu Kumar, Ashish Kumar Bhandari in Signal, Image and Video Processing
    Article 12 November 2023
  17. Monitoring Distributed Component-Based Systems

    We monitor asynchronous distributed component-based systems with multi-party interactions. We consider independent components whose interactions are...
    Yliès Falcone, Hosein Nazarpour, ... Marius Bozga in Formal Aspects of Component Software
    Conference paper 2021
  18. PRINS: scalable model inference for component-based system logs

    Behavioral software models play a key role in many software engineering tasks; unfortunately, these models either are not available during software...

    Donghwan Shin, Domenico Bianculli, Lionel Briand in Empirical Software Engineering
    Article Open access 12 April 2022
  19. An effective framework based on hybrid learning and kernel principal component analysis for face manipulation detection

    Face manipulation is the process of modifying facial features in videos or images to produce a variety of artistic or deceptive effects. Face...

    Rahul Thakur, Rajesh Rohilla in Signal, Image and Video Processing
    Article 02 April 2024
  20. Network Intrusion Detection by Variational Component-Based Feature Saliency Gaussian Mixture Clustering

    Anomaly detection is a core function of the network intrusion detection system, and due to the high volume and dimensionality of network data,...
    **n Hong, Zafeirios Papazachos, ... Paul Miller in Computer Security. ESORICS 2023 International Workshops
    Conference paper 2024
Did you find what you were looking for? Share feedback.