中文
相关论文

相关论文: Distributed and Adversarial Resistant Workflow Exe…

200 篇论文

Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core issue, we propose a technology that enables programmers to…

密码学与安全 · 计算机科学 2023-04-19 Nikolaj Bjørner , Shuo Chen , Yang Chen , Zhongxin Guo , Peng Liu , Nanqing Luo

Traditional blockchain design gives miners or validators full control over transaction ordering, i.e., they can freely choose which transactions to include or exclude, as well as in which order. While not an issue initially, the emergence…

分布式、并行与集群计算 · 计算机科学 2023-12-19 Andrei Constantinescu , Diana Ghinea , Lioba Heimbach , Zilin Wang , Roger Wattenhofer

Hyperledger Fabric (HLF) is a secure and robust blockchain (BC) platform that supports high-throughput and low-latency transactions. However, it encounters challenges in managing conflicting transactions that negatively affect throughput…

分布式、并行与集群计算 · 计算机科学 2024-07-31 Alexandros Stoltidis , Kostas Choumas , Thanasis Korakis

Autonomous Intersection Management (AIM) provides a signal-free intersection scheduling paradigm for Connected Autonomous Vehicles (CAVs). Distributed learning method has emerged as an attractive branch of AIM research. Compared with…

多智能体系统 · 计算机科学 2023-03-07 Guanzhou Li , Jianping Wu , Yujing He

Deep Reinforcement Learning (DRL) has emerged as a powerful paradigm for solving complex problems. However, its full potential remains inaccessible to a broader audience due to its complexity, which requires expertise in training and…

机器学习 · 计算机科学 2025-01-29 Ahmed Alagha , Hadi Otrok , Shakti Singh , Rabeb Mizouni , Jamal Bentahar

Process digitization and integration is an increasing need for enterprises, while cyber-attacks denote a growing threat. Using the Business Process Management Notation (BPMN) is common to handle the digital and integration focus within and…

密码学与安全 · 计算机科学 2022-01-11 Simon Hacks , Robert Lagerström , Daniel Ritter

Operational machine-learning based assistant systems must be robust in a wide range of scenarios. This hold especially true for the air-traffic control (ATC) domain. The robustness of an architecture is particularly evident in edge cases,…

计算与语言 · 计算机科学 2024-12-31 Alexander Blatt , Dietrich Klakow

Deep active learning (DAL) seeks to reduce annotation costs by enabling the model to actively query instance annotations from which it expects to learn the most. Despite extensive research, there is currently no standardized evaluation…

机器学习 · 计算机科学 2023-06-21 Lukas Rauch , Matthias Aßenmacher , Denis Huseljic , Moritz Wirth , Bernd Bischl , Bernhard Sick

Business process models are essential for the representation, analysis, and execution of organizational processes, serving as orchestration blueprints while relying on (web) services to implement individual tasks. At the representation…

软件工程 · 计算机科学 2025-01-28 Ahmed Awad , Feras Awaysheh , Hugo A. López

Blockchain has been praised for its capacity to hold data in a decentralized and tamper-proof way. It also supports the execution of code through blockchain's smart contracts, adding automation of actions to the network with high…

密码学与安全 · 计算机科学 2021-01-25 Nicolas Six , Claudia Negri Ribalta , Nicolas Herbaut , Camille Salinesi

Today's blockchains suffer from low throughput and high latency, which impedes their widespread adoption of more complex applications like smart contracts. In this paper, we propose a novel paradigm for smart contract execution. It…

密码学与安全 · 计算机科学 2023-06-09 Jian Liu , Peilun Li , Raymond~Cheng , N. Asokan , Dawn Song

The paper presents Pluralize a formal logical framework able to extend the execution of blockchain transactions to events coming from external oracles, like external time, sensor data, human-made declarations, etc. These events are by…

密码学与安全 · 计算机科学 2018-12-14 Zaynah Dargaye , Antonella Pozzo , Sara Tucci-Piergiovanni

Parallel execution of smart contract transactions in large multicore architectures is critical for higher efficiency and improved throughput. The main bottleneck for maximizing the throughput of a node through parallel execution is…

分布式、并行与集群计算 · 计算机科学 2025-08-15 Parwat Singh Anjana , Matin Amini , Rohit Kapoor , Rahul Parmar , Raghavendra Ramesh , Srivatsan Ravi , Joshua Tobkin

Blockchain performance has historically faced challenges posed by the throughput limitations of consensus algorithms. Recent breakthroughs in research have successfully alleviated these constraints by introducing a modular architecture that…

分布式、并行与集群计算 · 计算机科学 2026-05-19 Ray Neiheiser , Arman Babaei , Giannis Alexopoulos , Marios Kogias , Eleftherios Kokoris Kogias

An optimistic rollup (ORU) scales a blockchain's throughput by delegating computation to an untrusted remote chain (L2), refereeing any state claim disagreements between mutually distrusting L2 operators via an interactive dispute…

密码学与安全 · 计算机科学 2024-01-05 Zhe Ye , Ujval Misra , Jiajun Cheng , Wenyang Zhou , Dawn Song

The Ethereum protocol implements a replicated state machine. The network participants keep track of the system state by: 1) agreeing on the sequence of transactions to be processed and 2) computing the state transitions that correspond to…

计算机科学中的逻辑 · 计算机科学 2023-03-02 Franck Cassez , Joanne Fuller , Milad K. Ghale , David J. Pearce , Horacio M. A. Quiles

Iterative refinement has emerged as an effective paradigm for enhancing the capabilities of large language models (LLMs) on complex tasks. However, existing approaches typically implement iterative refinement at the application or prompting…

计算与语言 · 计算机科学 2024-10-15 Yuxi Xie , Anirudh Goyal , Xiaobao Wu , Xunjian Yin , Xiao Xu , Min-Yen Kan , Liangming Pan , William Yang Wang

Blockchain technology is a distributed, decentralized, and immutable ledger system. It is the platform of choice for managing smart contract transactions (SCTs). Smart contracts are self-executing codes of agreement between interested…

分布式、并行与集群计算 · 计算机科学 2023-03-06 Manaswini Piduguralla , Saheli Chakraborty , Parwat Singh Anjana , Sathya Peri

Blockchain technology offers a promising foundation for modernizing E-Voting systems by enhancing transparency, decentralization, and security. Yet, real-world adoption remains limited due to persistent challenges such as scalability…

密码学与安全 · 计算机科学 2025-10-06 Kiana Kiashemshaki , Elvis Nnaemeka Chukwuani , Mohammad Jalili Torkamani , Negin Mahmoudi

Blockchain has the potential to accelerate the deployment of emissions trading systems (ETS) worldwide and improve upon the efficiency of existing systems. In this paper, we present a model for a permissioned blockchain implementation based…

密码学与安全 · 计算机科学 2020-10-05 Andreas Richardson , Jiahua Xu