中文
相关论文

相关论文: Demonstrators for Industrial Cyber-Physical System…

200 篇论文

The great majority of engineered products are subject to thermo-mechanical loads which vary with the product environment during the various phases of its life-cycle (machining, assembly, intended service use...). Those load variations may…

经典物理 · 物理学 2009-05-07 Guillaume Mandil , Alain Desrochers , Alain Rivière

Deep learning models are widely used across computer vision and other domains. When working on the model induction, selecting the right architecture for a given dataset often relies on repetitive trial-and-error procedures. This procedure…

机器学习 · 计算机科学 2026-01-06 Yen-Chia Chen , Hsing-Kuo Pao , Hanjuan Huang

Over the past several years there has been a considerable research investment into learning-based approaches to industrial assembly, but despite significant progress these techniques have yet to be adopted by industry. We argue that it is…

人工智能 · 计算机科学 2021-08-03 Jianlan Luo , Oleg Sushkov , Rugile Pevceviciute , Wenzhao Lian , Chang Su , Mel Vecerik , Ning Ye , Stefan Schaal , Jon Scholz

Solving problems through tool use under explicit constraints constitutes a highly challenging yet unavoidable scenario for large language models (LLMs), requiring capabilities such as function calling, instruction following, and…

计算与语言 · 计算机科学 2026-03-17 Junjie Ye , Guoqiang Zhang , Wenjie Fu , Tao Gui , Qi Zhang , Xuanjing Huang

Deep-Learning(DL) applications have been widely employed to assist in various tasks. They are constructed based on a data-driven programming paradigm that is different from conventional software applications. Given the increasing popularity…

软件工程 · 计算机科学 2019-10-09 Xufan Zhang , Yilin Yang , Yang Feng , Zhenyu Chen

Regulations in the Building Industry are becoming increasingly complex and involve more than one technical area. They cover products, components and project implementation. They also play an important role to ensure the quality of a…

计算与语言 · 计算机科学 2013-02-21 Khalil Riad Bouzidi , Catherine Faron-Zucker , Bruno Fies , Olivier Corby , Le-Thanh Nhan

Software systems are a significant contributor to global sustainability concerns, demanding that environmental, social, technical, and economic factors be systematically addressed from the initial requirements engineering phase. Although…

软件工程 · 计算机科学 2025-10-13 Mandira Roy , Novarun Deb , Nabendu Chaki , Agostino Cortesi

Background. In the realm of software engineering, there are widely accepted guidelines for reporting and creating laboratory packages. Unfortunately, the landscape differs considerably in the emerging field of quantum computing. To the best…

Personas are commonly used in software projects to gain a better understanding of end-users' needs. However, there is a limited understanding of their usage and effectiveness in practice. This paper presents the results of a two-step…

软件工程 · 计算机科学 2024-03-26 Yi Wang , Chetan Arora , Xiao Liu , Thuong Hoang , Vasudha Malhotra , Ben Cheng , John Grundy

We investigate the feasibility of using a classifier for security-related requirements trained on requirement specifications available online. This is helpful in case different requirement types are not differentiated in a large existing…

软件工程 · 计算机科学 2020-04-01 Mazen Mohamad , Jan-Philipp Steghöfer , Riccardo Scandariato

Requirement engineering is a key ingredient for software development to be effective. Apart from the traditional software requirement which is not much appropriate for new emerging software such as smart handheld device based software. In…

软件工程 · 计算机科学 2014-08-13 Tamjid Rahman , M. Rokonuzzaman

Dependency-aware job scheduling in the cluster is NP-hard. Recent work shows that Deep Reinforcement Learning (DRL) is capable of solving it. It is difficult for the administrator to understand the DRL-based policy even though it achieves…

分布式、并行与集群计算 · 计算机科学 2022-09-21 Shaojun Zhang , Chen Wang , Albert Zomaya

Modeling and simulation are widely used in cybersecurity research to assess cyber threats, evaluate defense mechanisms, and analyze vulnerabilities. However, the diversity of application areas, the variety of cyberattacks scenarios, and the…

密码学与安全 · 计算机科学 2025-08-11 Luca Serena , Gabriele D'Angelo , Stefano Ferretti , Moreno Marzolla

Often models for understanding the impact of management practices on retail performance are developed under the assumption of stability, equilibrium and linearity, whereas retail operations are considered in reality to be dynamic,…

人工智能 · 计算机科学 2010-07-05 Peer-Olaf Siebers , Uwe Aickelin , Helen Celia , Chris Clegg

As scientific applications extend to the simulation of more and more complex systems, they involve an increasing number of abstraction levels, at each of which errors can emerge and across which they can propagate; tools for correctness…

软件工程 · 计算机科学 2011-01-18 Eloisa Bentivegna , Gabrielle Allen , Oleg Korobkin , Erik Schnetter

In the domain of software engineering, our efforts as researchers to advise industry on which software practices might be applied most effectively are limited by our lack of evidence based information about the relationships between context…

软件工程 · 计算机科学 2021-04-19 Diana Kirk , Stephen G. MacDonell

Identification of non-functional requirements is important for successful development and deployment of the software product. The acceptance of the software product by the customer depends on the non-functional requirements which are…

软件工程 · 计算机科学 2014-08-08 Merugu. Gopichand , A. Ananda Rao

Context and motivation: Requirements engineering of complex IT systems needs to manage the many, and often vague and conflicting, organisational rules that exist in the context of a modern enterprise. At the same time, IT systems affect the…

软件工程 · 计算机科学 2024-02-22 Jöran Lindeberg , Eric-Oluf Svee , Martin Henkel

Machine learning workflow development is anecdotally regarded to be an iterative process of trial-and-error with humans-in-the-loop. However, we are not aware of quantitative evidence corroborating this popular belief. A quantitative…

机器学习 · 计算机科学 2018-05-21 Doris Xin , Litian Ma , Shuchen Song , Aditya Parameswaran

One of the main barriers preventing widespread use of formal methods is the elicitation of formal specifications. Formal specifications facilitate the testing and verification process for safety critical robotic systems. However, handling…

软件工程 · 计算机科学 2016-11-15 Bardh Hoxha , Nikolaos Mavridis , Georgios Fainekos