English
Related papers

Related papers: DarTwin made precise by SysMLv2 -- An Experiment

200 papers

This work-in-progress paper presents our work with a domain specific language (DSL) for tackling the issue of programming robots for small-sized batch production. We observe that as the complexity of assembly increases so does the…

Effective retrieval in complex domains requires bridging the gap between structured metadata and unstructured content. Existing systems typically isolate these capabilities, relying on either symbolic filtering or vector similarity, failing…

Information Retrieval · Computer Science 2026-03-24 Yunhai Hu , Junwei Zhou , Yumo Cao , Yitao Long , Yiwei Xu , Qiyi Jiang , Weiyao Wang , Xiaoyu Cao , Zhen Sun , Yiran Zou , Nan Du

As the number of computing devices embedded into engineered systems continues to rise, there is a widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial…

Programming Languages · Computer Science 2012-04-04 Jacob Beal , Stefan Dulman , Kyle Usbeck , Mirko Viroli , Nikolaus Correll

Algorithmic Differentiation (AD) can be used to automate the generation of derivatives in arbitrary software projects. This will generate maintainable derivatives, that are always consistent with the computation of the software. If a domain…

Mathematical Software · Computer Science 2018-03-13 Max Sagebaum , Nicolas R. Gauger

This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic constructs that extend the functionality of the LDL++ language,…

Databases · Computer Science 2007-05-23 Faiz Arni , KayLiang Ong , Shalom Tsur , Haixun Wang , Carlo Zaniolo

The development of large language models (LLM) has revolutionized various fields and is anticipated to drive the advancement of autonomous systems. In the context of autonomous optical networks, creating a high-level cognitive agent in the…

Networking and Internet Architecture · Computer Science 2024-11-04 Yuchen Song , Yao Zhang , Anni Zhou , Yan Shi , Shikui Shen , Xiongyan Tang , Jin Li , Min Zhang , Danshi Wang

Currently, Large Language Models (LLMs) have achieved remarkable results in machine translation. However, their performance in multi-domain translation (MDT) is less satisfactory, the meanings of words can vary across different domains,…

Computation and Language · Computer Science 2026-03-17 Zhibo Man , Yuanmeng Chen , Yujie Zhang , Jinan Xu

We are witnessing a bloom of AI-powered software driven by Large Language Models (LLMs). Although the applications of these LLMs are impressive and seemingly countless, their unreliability hinders adoption. In fact, the tendency of LLMs to…

Software Engineering · Computer Science 2025-10-30 Vincenzo Scotti , Jan Keim , Tobias Hey , Andreas Metzger , Anne Koziolek , Raffaela Mirandola

Empirical software engineering research often depends on datasets of code repository artifacts, where sampling strategies are employed to enable large-scale analyses. The design and evaluation of these strategies are critical, as they…

Software Engineering · Computer Science 2026-04-10 Romain Lefeuvre , Maïwenn Le Goasteller , Jessie Galasso , Benoit Combemale , Quentin Perez , Houari Sahraoui

Several solutions for specifying normative artefacts (norms, contracts, policies) in a computational processable way have been presented in the literature. Legal core ontologies have been proposed to systematize concepts and relationships…

Artificial Intelligence · Computer Science 2022-01-13 Giovanni Sileno , Thomas van Binsbergen , Matteo Pascucci , Tom van Engers

The development of Digital Twins (DTs) represents a transformative advance for simulating and optimizing complex systems in a controlled digital space. Despite their potential, the challenge of constructing DTs that accurately replicate and…

Systems and Control · Electrical Eng. & Systems 2024-06-21 Longfei Ma , Nan Cheng , Xiucheng Wang , Jiong Chen , Yinjun Gao , Dongxiao Zhang , Jun-Jie Zhang

EasyTime is a domain-specific language (DSL) for measuring time during sports competitions. A distinguishing feature of DSLs is that they are much more amenable to change, and EasyTime is no exception in this regard. This paper introduces…

Programming Languages · Computer Science 2013-03-05 Iztok Fister , Tomaž Kosar , Iztok Fister , Marjan Mernik

Measuring time in mass sports competitions is usually performed using expensive measuring devices. Unfortunately, these solutions are not acceptable by many organizers of sporting competitions. In order to make the measuring time as cheap…

Programming Languages · Computer Science 2012-08-22 Iztok Fister , Tomaž Kosar , Marjan Mernik , Iztok Fister

Cross-organizational collaboration in Model-Based Systems Engineering (MBSE) faces many challenges in achieving semantic alignment across independently developed system models. SysML v2 introduces enhanced structural modularity and formal…

Software Engineering · Computer Science 2026-02-13 Zirui Li , Stephan Husung , Haoze Wang

The Internet of things (IoT) is increasingly prevalent in domains such as emergency response, smart cities and autonomous vehicles. Simulation plays a key role in the testing of IoT systems, noting that field testing of a complete IoT…

Software Engineering · Computer Science 2022-08-16 Jia Li , Shiva Nejati , Mehrdad Sabetzadeh , Michael McCallen

Smart Digital twins (SDTs) are being increasingly used to virtually replicate and predict the behaviors of complex physical systems through continual data assimilation enabling the optimization of the performance of these systems by…

Computer Vision and Pattern Recognition · Computer Science 2024-01-08 Md Ruman Islam , Mahadevan Subramaniam , Pei-Chi Huang

Metamodel-based DSL development in language workbenches like Xtext allows language engineers to focus more on metamodels and domain concepts rather than grammar details. However, the grammar generated from metamodels often requires manual…

Software Engineering · Computer Science 2023-09-11 Weixing Zhang , Jan-Philipp Steghöfer , Regina Hebig , Daniel Strüber

The stakeholders involved in software development are becoming increasingly diverse, with both human contributors from varied backgrounds and AI-powered agents collaborating together in the process. This situation presents unique governance…

Software Engineering · Computer Science 2025-10-17 Adem Ait , Gwendal Jouneaux , Javier Luis Cánovas Izquierdo , Jordi Cabot

An increasing number of models and frameworks for Virtual Assistant (VA) development exist nowadays, following the progress in the Natural Language Processing (NLP) and Natural Language Understanding (NLU) fields. Regardless of their…

Software Engineering · Computer Science 2023-10-04 Nikolaos Malamas , Konstantinos Panayiotou , Andreas L. Symeonidis

In recent years, machine learning technologies have gained immense popularity and are being used in a wide range of domains. However, due to the complexity associated with machine learning algorithms, it is a challenge to make it…

Software Engineering · Computer Science 2024-10-15 Natalie Sinani , Sahil Salma , Paul Boutot , Sadaf Mustafiz
‹ Prev 1 3 4 5 6 7 10 Next ›