中文
相关论文

相关论文: Federated Conformance Checking

200 篇论文

Federated Learning (FL), while a breakthrough in decentralized machine learning, contends with significant challenges such as limited data availability and the variability of computational resources, which can stifle the performance and…

机器学习 · 计算机科学 2025-10-07 Jiaqi Wang , Xi Li

Federated Learning (FL) is a promising paradigm that offers significant advancements in privacy-preserving, decentralized machine learning by enabling collaborative training of models across distributed devices without centralizing data.…

机器学习 · 计算机科学 2024-06-03 Khiem Le , Nhan Luong-Ha , Manh Nguyen-Duc , Danh Le-Phuoc , Cuong Do , Kok-Seng Wong

We report on an effort to develop methodologies for formal verification of parts of the Multi-Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of communicating processes. While the individual…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Olga Shumsky Matlin , William McCune , Ewing Lusk

Critical infrastructure defense is fundamentally bottlenecked by the operational reality that preventive controls are frequently bypassed by sophisticated supply-chain compromises and stolen administrative credentials. When prevention…

密码学与安全 · 计算机科学 2026-05-19 Namit Mohale

Federated authentication can drastically reduce the overhead of basic account maintenance while simultaneously improving overall system security. Integrating with the user's more frequently used account at their primary organization both…

Federated Inference (FI) studies how independently trained and privately owned models can collaborate at inference time without sharing data or model parameters. While recent work has explored secure and distributed inference from disparate…

人工智能 · 计算机科学 2026-03-05 Jungwon Seo , Ferhat Ozgur Catak , Chunming Rong , Jaeyeon Jang

In multiple federated learning schemes, a random subset of clients sends in each round their model updates to the server for aggregation. Although this client selection strategy aims to reduce communication overhead, it remains energy and…

分布式、并行与集群计算 · 计算机科学 2024-03-13 Fernanda Famá , Charalampos Kalalas , Sandra Lagen , Paolo Dini

Vertical Federated Learning (VFL) has emerged as a critical approach in machine learning to address privacy concerns associated with centralized data storage and processing. VFL facilitates collaboration among multiple entities with…

机器学习 · 计算机科学 2024-05-07 Yue Cui , Chung-ju Huang , Yuzhu Zhang , Leye Wang , Lixin Fan , Xiaofang Zhou , Qiang Yang

Event data provide the main source of information for analyzing and improving processes in organizations. Process mining techniques capture the state of running processes w.r.t. various aspects, such as activity-flow and performance…

其他计算机科学 · 计算机科学 2022-01-20 Mahsa Pourbafrani , Wil M. P. van der Aalst

Federated learning has recently been applied to recommendation systems to protect user privacy. In federated learning settings, recommendation systems can train recommendation models only collecting the intermediate parameters instead of…

信息检索 · 计算机科学 2023-03-10 Zehua Sun , Yonghui Xu , Yong Liu , Wei He , Lanju Kong , Fangzhao Wu , Yali Jiang , Lizhen Cui

Federated Learning is a machine learning setting where the goal is to train a high-quality centralized model while training data remains distributed over a large number of clients each with unreliable and relatively slow network…

It is challenging to verify that the planned security mechanisms are actually implemented in the software. In the context of model-based development, the implemented security mechanisms must capture all intended security properties that…

软件工程 · 计算机科学 2022-03-21 Katja Tuma , Sven Peldszus , Daniel Strüber , Riccardo Scandariato , Jan Jürjens

Fusion and inference from multiple and massive disparate data sources - the requirement for our most challenging data analysis problems and the goal of our most ambitious statistical pattern recognition methodologies - -has many and varied…

统计方法学 · 统计学 2011-12-26 Carey E. Priebe , David J. Marchette , Zhiliang Ma , Sancar Adali

We present an approach for verifying systems at runtime. Our approach targets distributed systems whose components communicate with monitors over unreliable channels, where messages can be delayed, reordered, or even lost. Furthermore, our…

计算机科学中的逻辑 · 计算机科学 2019-09-26 David Basin , Felix Klaedtke , Eugen Zalinescu

Process mining is a set of techniques that are used by organizations to understand and improve their operational processes. The first essential step in designing any process reengineering procedure is to find process improvement…

人工智能 · 计算机科学 2022-08-30 Christian Kohlschmidt , Mahnaz Sadat Qafari , Wil M. P. van der Aalst

Entity matching is an important and difficult step for integrating web data. To reduce the typically high execution time for matching we investigate how we can perform entity matching in parallel on a distributed infrastructure. We propose…

分布式、并行与集群计算 · 计算机科学 2010-06-29 Toralf Kirsten , Lars Kolb , Michael Hartung , Anika Groß , Hanna Köpcke , Erhard Rahm

Within Process mining, discovery techniques had made it possible to construct business process models automatically from event logs. However, results often do not achieve the balance between model complexity and its fitting accuracy, so…

Federated learning (FL) is an emerging paradigm of collaborative machine learning that preserves user privacy while building powerful models. Nevertheless, due to the nature of open participation by self-interested entities, it needs to…

密码学与安全 · 计算机科学 2022-02-18 Yanci Zhang , Han Yu

A critical yet frequently overlooked challenge in the field of deepfake detection is the lack of a standardized, unified, comprehensive benchmark. This issue leads to unfair performance comparisons and potentially misleading results.…

计算机视觉与模式识别 · 计算机科学 2023-10-31 Zhiyuan Yan , Yong Zhang , Xinhang Yuan , Siwei Lyu , Baoyuan Wu

Process mining has gained traction over the past decade and an impressive body of research has resulted in the introduction of a variety of process mining approaches measuring process performance. Having this set of techniques available,…

性能 · 计算机科学 2018-04-12 Fredrik Milani , Fabrizio M. Maggi