中文
相关论文

相关论文: SoK: Software Compartmentalization

200 篇论文

The ability to express a program as a hierarchical composition of parts is an essential tool in managing the complexity of software and a key abstraction this provides is to separate the representation of data from the computation. Many…

编程语言 · 计算机科学 2012-10-04 James Hanlon , Simon J. Hollis , David May

In recent years, many software engineering researchers have begun to include artifacts alongside their research papers. Ideally, artifacts, including tools, benchmarks, and data, support the dissemination of ideas, provide evidence for…

软件工程 · 计算机科学 2021-05-05 Christopher S. Timperley , Lauren Herckis , Claire Le Goues , Michael Hilton

Compositional generalization-a key open challenge in modern machine learning-requires models to predict unknown combinations of known concepts. However, assessing compositional generalization remains a fundamental challenge due to the lack…

机器学习 · 计算机科学 2025-11-06 Giacomo Camposampiero , Pietro Barbiero , Michael Hersche , Roger Wattenhofer , Abbas Rahimi

Software engineering concepts and processes are worthy of formal study; and yet we seldom formalize them. This "research ideas" article explores what a theory of software engineering could and should look like. Software engineering research…

软件工程 · 计算机科学 2025-02-25 Bertrand Meyer

Population analysis is crucial for ensuring that empirical software engineering (ESE) research is representative and its findings are valid. Yet, there is a persistent gap between sampling processes and the holistic examination of…

软件工程 · 计算机科学 2024-04-24 Jefferson Seide Molléri

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…

软件工程 · 计算机科学 2015-09-15 Kristof Böhmer , Stefanie Rinderle-Ma

Pervasive data collection by Smart Home Devices (SHDs) demands robust Privacy Protection Mechanisms (PPMs). The effectiveness of many PPMs, particularly user-facing controls, depends on user awareness and adoption, which are shaped by…

人机交互 · 计算机科学 2025-11-18 Shuning Zhang , Yijing Liu , Yuyu Liu , Ying Ma , Shixuan Li , Xin Yi , Qian Wu , Hewu Li

Our analysis of recent AI4H publications reveals that, despite a trend toward utilizing open datasets and sharing modeling code, 74% of AI4H papers still rely on private datasets or do not share their code. This is especially concerning in…

计算机与社会 · 计算机科学 2026-03-05 John Wu , Zhenbang Wu , Jimeng Sun

Nowadays, collaborative modeling performed by multiple stakeholders is gaining a growing interest in both academia and practice. However, it poses a set of research challenges, such as large and complex models management, support for…

软件工程 · 计算机科学 2016-11-09 Mirco Franzago , Davide Di Ruscio , Ivano Malavolta , Henry Muccini

Objective: To present an overview on the current state of the art concerning metrics-based quality evaluation of software components and component assemblies. Method: Comparison of several approaches available in the literature, using a…

软件工程 · 计算机科学 2011-10-03 Miguel Goulão , Fernando Brito e Abreu

The discipline of software engineering (SE) combines social and technological dimensions. It is an interdisciplinary research field. However, interdisciplinary research submitted to software engineering venues may not receive the same level…

软件工程 · 计算机科学 2025-01-14 Sonja M. Hyrynsalmi , Grischa Liebel , Ronnie de Souza Santos , Sebastian Baltes

Modern software-based systems operate under rapidly changing conditions and face ever-increasing uncertainty. In response, systems are increasingly adaptive and reliant on artificial-intelligence methods. In addition to the ubiquity of…

Simulation studies are commonly used in methodological research for the empirical evaluation of data analysis methods. They generate artificial data sets under specified mechanisms and compare the performance of methods across conditions.…

统计方法学 · 统计学 2025-07-11 Samuel Pawel , František Bartoš , Björn S. Siepe , Anna Lohmann

The design of algorithms that generate personalized ranked item lists is a central topic of research in the field of recommender systems. In the past few years, in particular, approaches based on deep learning (neural) techniques have…

信息检索 · 计算机科学 2021-01-08 Maurizio Ferrari Dacrema , Simone Boglio , Paolo Cremonesi , Dietmar Jannach

This study presents an analysis of the most recent literature addressing global software engineering (GSE). We examine the current state of GSE research using a new Systematic Snapshot Mapping (SSM) technique. We analysed 275 papers…

软件工程 · 计算机科学 2020-12-30 Bilal Raza , Stephen G. MacDonell , Tony Clear

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

Context: Software testability is the degree to which a software system or a unit under test supports its own testing. To predict and improve software testability, a large number of techniques and metrics have been proposed by both…

软件工程 · 计算机科学 2018-12-07 Vahid Garousi , Michael Felderer , Feyza Nur Kilicaslan

Causal models and methods have great promise, but their progress has been stalled. Proposals using causality get squeezed between two opposing worldviews. Scientific perfectionism--an insistence on only using "correct" models--slows the…

计算机与社会 · 计算机科学 2024-06-05 Joshua Loftus

Benchmarking optimization algorithms is fundamental for the advancement of computational intelligence. However, widely adopted artificial test suites exhibit limited correspondence with the diversity and complexity of real-world engineering…

计算工程、金融与科学 · 计算机科学 2026-04-17 Stefan Ivić , Siniša Družeta , Luka Grbčić

Background: Given the social aspects of Software Engineering (SE), in the last twenty years, researchers from the field started using research methods common in social sciences such as case study, ethnography, and grounded theory. More…

软件工程 · 计算机科学 2020-07-28 Jorge Melegati , Xiaofeng Wang