中文
相关论文

相关论文: Transforming Automatically BPMN Models to Smart Co…

200 篇论文

A donation-tracking system leveraging smart contracts and blockchain technology holds transformative potential for reshaping the landscape of charitable giving, especially within the context of Web 3.0. This paper explores how smart…

密码学与安全 · 计算机科学 2024-10-11 Chaimaa Nairi , Murtaza Cicioglu , Ali Calhan

Blockchain systems have received much attention and promise to revolutionize many services. Yet, despite their popularity, current blockchain systems exist in isolation, that is, they cannot share information. While interoperability is…

分布式、并行与集群计算 · 计算机科学 2020-04-24 Enrique Fynn , Alysson Bessani , Fernando Pedone

This paper presents TXSC, a framework that provides smart contract developers with transaction primitives. These primitives allow developers to write smart contracts without the need to reason about the anomalies that can arise due to…

数据库 · 计算机科学 2019-09-17 Victor Zakhary , Divyakant Agrawal , Amr El Abbadi

Currently, there is no universal method to track who shared what, with whom, when and for what purposes in a verifiable way to create an individual incentive for data owners. A platform that allows data owners to control, delete, and get…

密码学与安全 · 计算机科学 2025-10-29 Ajay Kumar Shrestha , Julita Vassileva

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

Blockchains and distributed ledger technologies allow the operation of manifold decentralised applications (dApps). Such applications are based on smart contracts, a programmable abstraction that is executed in a decentralised manner. To…

软件工程 · 计算机科学 2026-05-22 Fabian Stiehle , Kirill Inozemtsev , Ingo Weber

Smart contracts are appealing because they are self-executing business agreements between parties with the predefined and immutable obligations and rights. However, as with all software, smart contracts may contain vulnerabilities because…

软件工程 · 计算机科学 2019-12-10 Weifeng Xu , Glenn A. Fink

Over the recent years, Federated machine learning continues to gain interest and momentum where there is a need to draw insights from data while preserving the data provider's privacy. However, one among other existing challenges in the…

密码学与安全 · 计算机科学 2022-03-29 Monik Raj Behera , Sudhir Upadhyay , Suresh Shetty

The emergence of blockchain technology has revolutionized contract execution through the introduction of smart contracts. Ethereum, the leading blockchain platform, leverages smart contracts to power decentralized applications (DApps),…

密码学与安全 · 计算机科学 2025-10-23 Tahrim Hossain , Sakib Hassan , Faisal Haque Bappy , Muhammad Nur Yanhaona , Tarannum Shaila Zaman , Tariqul Islam

Construction project governance relies on agreements between the actors along the construction industry value chain. The mutual obligations arising from these contracts rely on timely monetary transactions. Despite the advantages of…

Metaverse has recently attracted paramount attention due to its potential for future Internet. However, to fully realize such potential, Metaverse applications have to overcome various challenges such as massive resource demands,…

密码学与安全 · 计算机科学 2022-01-04 Cong T. Nguyen , Dinh Thai Hoang , Diep N. Nguyen , Eryk Dutkiewicz

A new era in ICT has begun with the evolution of Next Generation Networks (NGNs) and the development of human-centric applications. Ultra-low latency, high throughput, and high availability are a few of the main characteristics of modern…

网络与互联网体系结构 · 计算机科学 2022-11-02 Michael Xevgenis , Dimitrios Kogias , Ioannis Christidis , Charalampos Patrikakis , Helen C. Leligou

The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different interpretations of…

软件工程 · 计算机科学 2024-10-09 Tim Kräuter , Adrian Rutle , Harald König , Yngve Lamo

The widely adopted Business Process Model and Notation (BPMN) is a cornerstone of industry standards for business process modeling. However, its ambiguous execution semantics often result in inconsistent interpretations, depending on the…

软件工程 · 计算机科学 2024-06-19 Gerhard Zeisler , Tim Tobias Braunauer , Albert Fleischmann , Robert Singer

Efficient planning, resource management, and consistent operations often rely on converting textual process documents into formal Business Process Model and Notation (BPMN) models. However, this conversion process remains time-intensive and…

Smart contracts on the blockchain offer decentralized financial services but often lack robust security measures, leading to significant economic losses. While substantial research has focused on identifying vulnerabilities in smart…

密码学与安全 · 计算机科学 2024-10-18 Youwei Huang , Sen Fang , Jianwen Li , Bin Hu , Tao Zhang

Modern blockchain systems support creation of smart contracts -- stateful programs hosted and executed on a blockchain. Smart contracts hold and transfer significant amounts of digital currency which makes them an attractive target for…

软件工程 · 计算机科学 2019-06-10 Dmitrii Suvorov , Vladimir Ulyantsev

With technological advances and the establishment of e-commerce models, business challenges have shifted to online platforms. The promise of embedding self-executing and autonomous programs into blockchain technologies has attracted…

计算机与社会 · 计算机科学 2022-08-03 Kamal Kishor Singh

One of the main bottlenecks of blockchains is smart contract execution. To increase throughput, modern blockchains try to execute transactions in parallel. Unfortunately, however, common blockchain use cases introduce read-write conflicts…

Blockchain-driven technologies are considered disruptive because of the availability of dis-intermediated, censorship-resistant and tamper-proof digital platforms of distributed trust. Among these technologies, smart contract platforms have…

计算机与社会 · 计算机科学 2018-03-14 Alexandra Covaci , Simone Madeo , Patrick Motylinski , Stéphane Vincent