English
Related papers

Related papers: Consolidating a Model for Describing Situated Soft…

200 papers

Machine learning applications are increasingly deployed not only to serve predictions using static models, but also as tightly-integrated components of feedback loops involving dynamic, real-time decision making. These applications pose a…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-05-23 Robert Nishihara , Philipp Moritz , Stephanie Wang , Alexey Tumanov , William Paul , Johann Schleier-Smith , Richard Liaw , Mehrdad Niknami , Michael I. Jordan , Ion Stoica

The pervasive role played by software in virtually all industries has fostered ever-increasing development of applied research in software engineering. In this chapter, we contribute our experience in using the V-Model as a framework for…

Software Engineering · Computer Science 2024-07-08 Rodrigo Falcão , Andreas Jedlitschka , Frank Elberzhager , Dieter Rombach

Context: Machine learning (ML)-enabled systems are being increasingly adopted by companies aiming to enhance their products and operational processes. Objective: This paper aims to deliver a comprehensive overview of the current status quo…

Over two decades, we and other research groups have found that ethnographic and social analyses of work settings can provide insights useful to the process of system analysis and design. Despite this, ethnographic and social analyses have…

Software Engineering · Computer Science 2011-04-08 David Greenwood , Ian Sommerville

Testing is a key concern when developing process-oriented solutions as it supports modeling experts who have to deal with increasingly complex models and scenarios such as cross-organizational processes. However, the complexity of the…

Software Engineering · Computer Science 2015-09-15 Kristof Böhmer , Stefanie Rinderle-Ma

Software effort estimation (SEE) models are typically developed based on an underlying assumption that all data points are equally relevant to the prediction of effort for future projects. The dynamic nature of several aspects of the…

Software Engineering · Computer Science 2020-12-17 Michael Franklin Bosu , Stephen G. MacDonell , Peter Whigham

Recently developed pretrained models can encode rich world knowledge expressed in multiple modalities, such as text and images. However, the outputs of these models cannot be integrated into algorithms to solve sequential decision-making…

Artificial Intelligence · Computer Science 2024-06-19 Yunhao Yang , Cyrus Neary , Ufuk Topcu

Mathematical models are increasingly a part of microbiological research. Here, we share our perspective on how modeling advances the discipline by: (i) enforcing logical consistency, (ii) enabling quantitative prediction, (iii) extracting…

Other Quantitative Biology · Quantitative Biology 2026-04-22 Jamie A. Lopez , Amir Erez

The emergent phenomena of large foundation models have revolutionized natural language processing. However, evaluating these models presents significant challenges due to their size, capabilities, and deployment across diverse applications.…

Computation and Language · Computer Science 2025-02-17 Jiayi Yuan , Jiamu Zhang , Andrew Wen , Xia Hu

Performance-influence models are beneficial for understanding how configurations affect system performance, but their creation is challenging due to the exponential growth of configuration spaces. While gray-box approaches leverage…

Software Engineering · Computer Science 2025-09-22 Omid Gheibi , Christian Kästner , Pooyan Jamshidi

Embedding models, which learn latent representations of users and items based on user-item interaction patterns, are a key component of recommendation systems. In many applications, contextual constraints need to be applied to refine…

Information Retrieval · Computer Science 2019-07-04 Syrine Krichene , Mike Gartrell , Clement Calauzenes

Models like support vector machines or Gaussian process regression often require positive semi-definite kernels. These kernels may be based on distance functions. While definiteness is proven for common distances and kernels, a proof for a…

Machine Learning · Computer Science 2018-07-11 Martin Zaefferer , Thomas Bartz-Beielstein , Günter Rudolph

This paper presents a SysML-based approach to enhance functional and software development process within an industrial context. The recent changes in technology such as electromobility and increased automation in heavy construction…

Software Engineering · Computer Science 2019-06-21 Saurabh Tiwari , Emina Smajlovic , Amina Krekic , Jagadish Suryadevara

Classic problem-space theory models problem solving as a navigation through a structured space of states, operators, goals, and constraints. Systems Engineering (SE) employs analogous constructs (functional analysis, operational analysis,…

Systems and Control · Electrical Eng. & Systems 2026-01-05 Mayuranath SureshKumar , Hanumanthrao Kannan

The rise of foundation models has shifted focus from resource-intensive fine-tuning to prompt engineering, a paradigm that steers model behavior through input design rather than weight updates. While manual prompt engineering faces…

Artificial Intelligence · Computer Science 2025-02-18 Wenwu Li , Xiangfeng Wang , Wenhao Li , Bo Jin

Abstract models of system-level behaviour have applications in design exploration, analysis, testing and verification. We describe a new algorithm for automatically extracting useful models, as automata, from execution traces of a HW/SW…

Formal Languages and Automata Theory · Computer Science 2020-05-06 Natasha Yogananda Jeppu , Tom Melham , Daniel Kroening , John O'Leary

This paper presents a kernel-based framework for physics-informed nonlinear system identification. The key contribution is a structured methodology that extends kernel-based techniques to seamlessly embed partially known physics-based…

Systems and Control · Electrical Eng. & Systems 2025-10-20 Cesare Donati , Martina Mammarella , Giuseppe C. Calafiore , Fabrizio Dabbene , Constantino Lagoa , Carlo Novara

Models such as finite state automata are widely used to abstract the behavior of software systems by capturing the sequences of events observable during their execution. Nevertheless, models rarely exist in practice and, when they do, get…

Software Engineering · Computer Science 2024-08-20 Donato Clun , Donghwan Shin , Antonio Filieri , Domenico Bianculli

In the last 15 years, software architecture has emerged as an important software engineering field for managing the development and maintenance of large, software- intensive systems. Software architecture community has developed numerous…

Software Engineering · Computer Science 2017-01-24 Davide Falessi , Muhammad Ali Babar , Giovanni Cantone , Philippe Kruchten

Virtual cell (VC) models aim to predict cellular responses to any perturbations in silico and have emerged as a promising approach for drug discovery and precision medicine. Yet, a clear gap still remains: while models routinely reported…

Cell Behavior · Quantitative Biology 2026-05-01 Xinjie Mao , Songming Zhang , Qianhong Wen , Xiangyu Wen , Kedu Jin , Hao Wu , Shuizhou Chen , Yuqiang Li , Lei Bai , Qi Liu , Ning Ding , Siqi Sun , Zhangyang Gao
‹ Prev 1 4 5 6 7 8 10 Next ›