中文
相关论文

相关论文: Extending SOUP to ML Models When DesigningCertifie…

200 篇论文

It is undeniable that most developers today are building distributed applications. However, most of these applications are developed by composing existing systems together through unspecified APIs exposed to the application developer.…

分布式、并行与集群计算 · 计算机科学 2018-02-09 Christopher S. Meiklejohn , Peter Van Roy

Model-driven development is a pragmatic approach to software development that embraces domain-specific languages (DSLs), where models correspond to DSL programs. A distinguishing feature of model-driven development is that clients of a…

软件工程 · 计算机科学 2017-04-03 Sebastian Erdweg , Klaus Ostermann

Modern applications are increasingly driven by Machine Learning (ML) models whose non-deterministic behavior is affecting the entire application life cycle from design to operation. The pervasive adoption of ML is urgently calling for…

机器学习 · 计算机科学 2024-11-07 Marco Anisetti , Claudio A. Ardagna , Nicola Bena , Ernesto Damiani , Paolo G. Panero

The last decade has seen widespread adoption of Machine Learning (ML) components in software systems. This has occurred in nearly every domain, from natural language processing to computer vision. These ML components range from relatively…

Machine Learning (ML) has already fundamentally changed several businesses. More recently, it has also been profoundly impacting the computational science and engineering domains, like geoscience, climate science, and health science. In…

Machine learning (ML)-based solutions are rapidly changing the landscape of many fields, including structural engineering. Despite their promising performance, these approaches are usually only demonstrated as proof-of-concept in structural…

机器学习 · 计算机科学 2025-08-20 Mohsen Zaker Esteghamati , Brennan Bean , Henry V. Burton , M. Z. Naser

This document presents some early explorations of applying Softly Masked Language Modelling (SMLM) to symbolic music generation. SMLM can be seen as a generalisation of masked language modelling (MLM), where instead of each element of the…

声音 · 计算机科学 2023-05-12 Nicolas Jonason , Bob L. T. Sturm

The quality and correct functioning of software components embedded in electronic systems are of utmost concern especially for safety and mission-critical systems. Model-based testing and formal verification techniques can be employed to…

形式语言与自动机理论 · 计算机科学 2019-01-08 Shahbaz Ali , Hailong Sun , Yongwang Zhao

Engineering successful machine learning (ML)-enabled systems poses various challenges from both a theoretical and a practical side. Among those challenges are how to effectively address unrealistic expectations of ML capabilities from…

软件工程 · 计算机科学 2023-09-18 Hugo Villamizar , Marcos Kalinowski , Helio Lopes , Daniel Mendez

In recent years, machine learning (ML) has become a key enabling technology for the sciences and industry. Especially through improvements in methodology, the availability of large databases and increased computational power, today's ML…

人工智能 · 计算机科学 2019-09-27 Wojciech Samek , Klaus-Robert Müller

In this work, we propose a simple theoretical framework, Pelican Soup, aiming to better understand how pretraining allows LLMs to (1) generalize to unseen instructions and (2) perform in-context learning, even when the verbalizers are…

计算与语言 · 计算机科学 2026-01-09 Ting-Rui Chiang , Dani Yogatama

Defining process standards by integrating, harmonizing, and standardizing heterogeneous and often implicit processes is an important task, especially for large development organizations. However, many challenges exist, such as limiting the…

软件工程 · 计算机科学 2014-02-03 Ove Armbrust , Masafumi Katahira , Yuko Miyamoto , Jürgen Münch , Haruka Nakao , Alexis Ocampo

We study the question of how well machine learning (ML) models trained on a certain data set provide privacy for the training data, or equivalently, whether it is possible to reverse-engineer the training data from a given ML model. While…

机器学习 · 计算机科学 2022-04-20 Stefan Rass , Sandra König , Jasmin Wachter , Manuel Egger , Manuel Hobisch

The development and deployment of machine learning systems can be executed easily with modern tools, but the process is typically rushed and means-to-an-end. The lack of diligence can lead to technical debt, scope creep and misaligned…

软件工程 · 计算机科学 2020-12-17 Alexander Lavin , Gregory Renard

Quantifying and managing uncertainties that occur when data-driven models such as those provided by AI and machine learning methods are applied is crucial. This whitepaper provides a brief motivation and first overview of the state of the…

机器学习 · 计算机科学 2018-11-29 Michael Kläs

Modern machine learning (ML) models are expensive IP and business competitiveness often depends on keeping this IP confidential. This in turn restricts how these models are deployed; for example, it is unclear how to deploy a model…

密码学与安全 · 计算机科学 2025-03-11 Eleanor Clifford , Adhithya Saravanan , Harry Langford , Cheng Zhang , Yiren Zhao , Robert Mullins , Ilia Shumailov , Jamie Hayes

Models are used in both Software Engineering (SE) and Artificial Intelligence (AI). SE models may specify the architecture at different levels of abstraction and for addressing different concerns at various stages of the software…

软件工程 · 计算机科学 2022-01-20 Armin Moin , Moharram Challenger , Atta Badii , Stephan Günnemann

Increasing availability of machine learning (ML) frameworks and tools, as well as their promise to improve solutions to data-driven decision problems, has resulted in popularity of using ML techniques in software systems. However,…

软件工程 · 计算机科学 2021-03-29 Grace A. Lewis , Stephany Bellomo , Ipek Ozkaya

Uncertain, unpredictable, real time, and lifelong evolution causes operational failures in intelligent software systems, leading to significant damages, safety and security hazards, and tragedies. To fully unleash the potential of such…

软件工程 · 计算机科学 2023-09-26 Tao Yue , Shaukat Ali

Data-driven modeling based on Machine Learning (ML) is becoming a central component of protein engineering workflows. This perspective presents the elements necessary to develop effective, reliable, and reproducible ML models, and a set of…

生物大分子 · 定量生物学 2025-07-11 Fabio Herrera-Rocha , David Medina-Ortiz , Fabian Mauz , Juergen Pleiss , Mehdi D. Davari