English
Related papers

Related papers: An NMF solution for the Flowgraphs case at the TTC…

200 papers

A model is a simplified representation of portion of reality that hides a system s nonessential characteristics. It provides a means for reducing complexity as well as visualization and communication and a basis for building it. Most models…

Software Engineering · Computer Science 2020-02-03 Sabah Al-Fedaghi

This case comprises several primitive tasks that can be solved straight away with most transformation tools. The aim is to cover the most important kinds of primitive operations on models, i.e. create, read, update and delete (CRUD). To…

Software Engineering · Computer Science 2011-11-22 Steffen Mazanek

Fast and accurate simulation of dynamical systems is a fundamental challenge across scientific and engineering domains. Traditional numerical integrators often face a trade-off between accuracy and computational efficiency, while existing…

Computational Engineering, Finance, and Science · Computer Science 2026-03-06 Jiaxin Yuan , Haizhao Yang , Maria Cameron

Model driven architecture (MDA) concentrates on the use of models during software development. An approach using models as the central development artifact is more abstract, more compact and thus more effective and probably also less error…

Software Engineering · Computer Science 2014-09-24 Bernhard Rumpe

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

Model-Driven Engineering (MDE) provides a huge body of knowledge of automation for many different engineering tasks, especially those involving transitioning from design to implementation. With the huge progress made in Artificial…

Software Engineering · Computer Science 2025-02-11 Lola Burgueño , Davide Di Ruscio , Houari Sahraoui , Manuel Wimmer

Diffusion models (DMs) excel in photorealism, image editing, and solving inverse problems, aided by classifier-free guidance and image inversion techniques. However, rectified flow models (RFMs) remain underexplored for these tasks.…

Computer Vision and Pattern Recognition · Computer Science 2024-12-03 Maitreya Patel , Song Wen , Dimitris N. Metaxas , Yezhou Yang

There is a pressing need for better development methods and tools to keep up with the growing demand and increasing complexity of new software systems. New types of user interfaces, the need for intelligent components, sustainability…

Software Engineering · Computer Science 2025-08-01 Jordi Cabot

One of the goals of software design is to model a system in such a way that it is easily understandable. Nowadays the tendency for software development is changing from manual coding to automatic code generation; it is becoming model-based.…

Software Engineering · Computer Science 2015-03-13 N Md Jubair basha , Salman Abdul Moiz , Mohammed Rizwanullah

Deploying new supercomputers requires testing and evaluation via application codes. Portable, user-friendly tools enable evaluation, and the Multicomponent Flow Code (MFC), a computational fluid dynamics (CFD) code, addresses this need. MFC…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-19 Benjamin Wilfong , Anand Radhakrishnan , Henry A. Le Berre , Tanush Prathi , Stephen Abbott , Spencer H. Bryngelson

Transforming constraint models is an important task in re- cent constraint programming systems. User-understandable models are defined during the modeling phase but rewriting or tuning them is manda- tory to get solving-efficient models. We…

Artificial Intelligence · Computer Science 2010-02-17 Raphael Chenouard , Laurent Granvilliers , Ricardo Soto

Simulating fluid flow around arbitrary shapes is key to solving various engineering problems. However, simulating flow physics across complex geometries remains numerically challenging and computationally resource-intensive, particularly…

This work presents a multi-layered methodology for efficiently accelerating multimodal foundation models (MFMs). It combines hardware and software co-design of transformer blocks with an optimization pipeline that reduces computational and…

By treating data and models as the source code, Foundation Models (FMs) become a new type of software. Mirroring the concept of software crisis, the increasing complexity of FMs making FM crisis a tangible concern in the coming decade,…

Software Engineering · Computer Science 2024-07-12 Dezhi Ran , Mengzhou Wu , Wei Yang , Tao Xie

Mutation testing is an approach to check the robustness of test suites. The program code is slightly changed by mutations to inject errors. A test suite is robust enough if it finds such errors. Tools for mutation testing usually integrate…

Software Engineering · Computer Science 2024-04-23 Christoph Bockisch , Gabriele Taentzer , Daniel Neufeld

MCC is a tool designed for a very specific task: to transform the models of High-Level Petri nets, given in the PNML syntax, into equivalent Place/Transition nets. The name of the tool derives from the annual Model-Checking Contest, a…

Logic in Computer Science · Computer Science 2020-03-23 Silvano Dal Zilio

The development of complex component software systems can be made more manageable by first creating an abstract model and then incrementally adding details. Model transformation is an approach to add such details in a controlled way. In…

Logic in Computer Science · Computer Science 2015-04-13 Anton Wijs

In software development, business rules implemented by hand using programming code hinder agility of companies. Are our students in information systems aware of that? Do our lessons promote this realization ? We use model driven concepts…

Software Engineering · Computer Science 2018-05-24 Pierre-André Sunier , Steve Berberat

Computer programming textbooks and software documentations often contain flowcharts to illustrate the flow of an algorithm or procedure. Modern OCR engines often tag these flowcharts as graphics and ignore them in further processing. In…

Computer Vision and Pattern Recognition · Computer Science 2025-01-30 Shreya Shukla , Prajwal Gatti , Yogesh Kumar , Vikash Yadav , Anand Mishra

Like conventional software projects, projects in model-driven software engineering require adequate management of multiple versions of development artifacts, importantly allowing living with temporary inconsistencies. In previous work,…

Software Engineering · Computer Science 2023-07-10 Matthias Barkowsky , Holger Giese