English
Related papers

Related papers: eUDEVS: Executable UML with DEVS Theory of Modelin…

200 papers

In this paper, we propose a Distributed Intelligent Video Surveillance (DIVS) system using Deep Learning (DL) algorithms and deploy it in an edge computing environment. We establish a multi-layer edge computing architecture and a…

Computer Vision and Pattern Recognition · Computer Science 2019-11-26 Jianguo Chen , Kenli Li , Qingying Deng , Keqin Li , Philip S. Yu

The transition from large centralized complex control systems to distributed configurations that rely on a network of a very large number of interconnected simpler subsystems is ongoing and inevitable in many applications. It is attributed…

Systems and Control · Electrical Eng. & Systems 2025-04-01 Leonardo Pedroso , Pedro Batista , W. P. M. H. Heemels

Jjodel is a cloud-based reflective platform designed to address the challenges of Model-Driven Engineering (MDE), particularly the cognitive complexity and usability barriers often encountered in existing model-driven tools. This article…

Software Engineering · Computer Science 2025-02-14 Antonio Bucchiarone , Juri Di Rocco , Damiano Di Vincenzo , Alfonso Pierantonio

Unified models (UMs) hold promise for their ability to understand and generate content across heterogeneous modalities. Compared to merely generating visual content, the use of UMs for interleaved cross-modal reasoning is more promising and…

Computer Vision and Pattern Recognition · Computer Science 2026-04-03 Jiachun Jin , Zetong Zhou , Xiao Yang , Hao Zhang , Pengfei Liu , Jun Zhu , Zhijie Deng

Modeling languages in software engineering (e.g., UML) evolved from software systems modeling where denotational and operational kinds of semantics are the traditional subjects of research and practice. According to some authors, although a…

Software Engineering · Computer Science 2020-11-04 Sabah Al-Fedaghi

We introduce MUSE-VL, a Unified Vision-Language Model through Semantic discrete Encoding for multimodal understanding and generation. Recently, the research community has begun exploring unified models for visual generation and…

Computer Vision and Pattern Recognition · Computer Science 2025-07-29 Rongchang Xie , Chen Du , Ping Song , Chang Liu

The requirements engineering (RE) phase is pivotal in developing high-quality software. Integrating advanced modelling techniques with large language models (LLMs) and formal verification in a logical style can significantly enhance this…

Software Engineering · Computer Science 2025-06-11 Radoslaw Klimek

The study of the ethical impact of AI and the design of trustworthy systems needs the analysis of the scenarios where AI systems are used, which is related to the software engineering concept of "use case" and the "intended purpose" legal…

Software Engineering · Computer Science 2022-09-21 Isabelle Hupont , Emilia Gomez

Machine learning (ML) components are being added to more and more critical and impactful software systems, but the software development process of real-world production systems from prototyped ML models remains challenging with additional…

Software Engineering · Computer Science 2024-05-07 Jie JW Wu

Machine learning (ML) - based software systems are rapidly gaining adoption across various domains, making it increasingly essential to ensure they perform as intended. This report presents best practices for the Test and Evaluation (T&E)…

Software Engineering · Computer Science 2023-10-11 Jaganmohan Chandrasekaran , Tyler Cody , Nicola McCarthy , Erin Lanus , Laura Freeman

One foundation of the model driven engineering (MDE) is to separate the modelling application description from its technological implementation (i.e. platform). Some of them are dedicated to the system execution. Hence, one promise solution…

Software Engineering · Computer Science 2014-07-25 Frédéric Thomas , Jérôme Delatour , François Terrier , Matthias Brun , Sébastien Gérard

Large language model (LLM) inference often suffers from high decoding latency and limited scalability across heterogeneous edge-cloud environments. Existing speculative decoding (SD) techniques accelerate token generation but remain…

Machine Learning · Computer Science 2025-12-02 Fengze Yu , Leshu Li , Brad McDanel , Sai Qian Zhang

This paper presents the modular automation for reuse in manufacturing systems (modAT4rMS) approach to support the model-driven engineering (MDE) of object oriented manufacturing automation software with regard to its usability and software…

Software Engineering · Computer Science 2022-12-20 Martin Obermeier , Steven Braun , Birgit Vogel-Heuser

In decentralized systems, branching behaviors naturally arise due to communication, unmodeled dynamics and system abstraction, which can not be adequately captured by the traditional sequencing-based language equivalence. As a finer…

Systems and Control · Computer Science 2011-12-19 Yajuan Sun , Hai Lin , Ben. M. Chen

Molecular Dynamics (MD) simulations are essential for understanding the atomic-level behavior of molecular systems, giving insights into their transitions and interactions. However, classical MD techniques are limited by the trade-off…

Biomolecules · Quantitative Biology 2026-04-21 Ziyang Yu , Wenbing Huang , Yang Liu

Recent advancements in Multimodal Large Language Models (MLLMs) underscore the significance of scalable models and data to boost performance, yet this often incurs substantial computational costs. Although the Mixture of Experts (MoE)…

Artificial Intelligence · Computer Science 2024-05-21 Yunxin Li , Shenyuan Jiang , Baotian Hu , Longyue Wang , Wanqi Zhong , Wenhan Luo , Lin Ma , Min Zhang

In model-driven engineering (MDE), UML class diagrams serve as a way to plan and communicate between developers. However, it is complex and resource-consuming. We propose an automated approach for the extraction of UML class diagrams from…

Software Engineering · Computer Science 2022-10-28 Song Yang , Houari Sahraoui

The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL…

Human-Computer Interaction · Computer Science 2017-01-31 Frank Hilken , Martin Gogolla

Discrete Event Simulation (DES) is a widely used technique in which the state of the simulator is updated by events happening at discrete points in time (hence the name). DES is used to model and analyze many kinds of systems, including…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-07-25 Luca Toscano , Gabriele D'Angelo , Moreno Marzolla

Nowadays there is a large availability of discrete event simulation software that can be easily used in different domains: from industry to supply chain, from healthcare to business management, from training to complex systems design.…

Other Computer Science · Computer Science 2010-04-20 Antonio Cimino , Francesco Longo , Giovanni Mirabelli