English
Related papers

Related papers: Transforming Automatically BPMN Models to Smart Co…

200 papers

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…

Cryptography and Security · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Databases · Computer Science 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…

Cryptography and Security · Computer Science 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…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Cryptography and Security · Computer Science 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),…

Cryptography and Security · Computer Science 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,…

Cryptography and Security · Computer Science 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…

Networking and Internet Architecture · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 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…

Computers and Society · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-13 George Mitenkov , Igor Kabiljo , Zekun Li , Alexander Spiegelman , Satyanarayana Vusirikala , Zhuolun Xiang , Aleksandar Zlateski , Nuno P. Lopes , Rati Gelashvili

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…

Computers and Society · Computer Science 2018-03-14 Alexandra Covaci , Simone Madeo , Patrick Motylinski , Stéphane Vincent