English
Related papers

Related papers: Executable Models and Instance Tracking for Decent…

200 papers

Decentralized applications rely on non-centralized technical infrastructures and coordination principles. Without trusted third parties, their execution is not controlled by entities exercising centralized coordination but is instead…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-07-31 Felix Härer

The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state…

Programming Languages · Computer Science 2020-04-28 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

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

In this paper we discuss how conventional business contracts can be converted into smart contracts---their electronic equivalents that can be used to systematically monitor and enforce contractual rights, obligations and prohibitions at run…

Computers and Society · Computer Science 2018-05-03 Carlos Molina-Jimenez , Ellis Solaiman , Ioannis Sfyrakis , Irene Ng , Jon Crowcroft

Blockchain technology enables the execution of collaborative business processes involving untrusted parties without requiring a central authority. Specifically, a process model comprising tasks performed by multiple parties can be…

Software Engineering · Computer Science 2016-12-12 Luciano García-Bañuelos , Alexander Ponomarev , Marlon Dumas , Ingo Weber

We examine blockchain technologies, especially smart contracts, as a platform for decentralized applications. By providing a basis for consensus, blockchain promises to upend business models that presuppose a central authority. However,…

Computers and Society · Computer Science 2018-01-10 Munindar P. Singh , Amit K. Chopra

Decentralization initiatives like Solid enable data owners to control who has access to their data and to stimulate innovation by creating both application and data markets. Once data owners share their data with others, though, it is no…

Multiagent Systems · Computer Science 2023-10-10 Davide Basile , Claudio Di Ciccio , Valerio Goretti , Sabrina Kirrane

Blockchain has been promoted as a remedy for coordination in fragmented, multi-stakeholder ecosystems, yet many projects stall at pilot stage. Using a design-science approach, we develop the Hybrid Cooperative (HC), a digitally native…

Computers and Society · Computer Science 2025-09-17 Henrik Axelsen , Jan Damsgaard

The traceable execution of business processes and choreographies using smart contracts is one prominent application of blockchain technology in Business Process Management (BPM). Existing approaches support a large set of patterns, modeling…

Software Engineering · Computer Science 2021-04-19 Jan Ladleif , Mathias Weske

As the number of decentralized applications and users on Ethereum grows, the ability of the blockchain to efficiently handle a growing number of transactions becomes increasingly strained. Ethereums current execution model relies heavily on…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-03 Souradeep Das , Konpat Preechakul , Jonas Bäumer , Riddhi Patel , Jefferson Jinchuan Li

Blockchain technology is among the fastest-growing technologies in the world today. It has been adopted in diverse areas but mostly in financial systems, such as Bitcoin cryptocurrency. Therefore, it is a niche that has attracted interest…

Cryptography and Security · Computer Science 2021-06-30 Mabrook S. Al-Rakhami , Abdu Gumaei , Sk. Md. Mizanur Rahman , Atif Al-Amri

Blockchain and Cloud Computing are two of the main topics related to the distributed computing paradigm, and in the last decade, they have seen exponential growth in their adoption. Cloud computing has long been established as the main…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-18 Carlos Melo , Jamilson Dantas , Paulo Pereira , Paulo Maciel

Blockchain is an emerging technology that enables new forms of decentralized software architectures, where distributed components can reach agreements on shared system states without trusting a central integration point. Blockchain provides…

Software Engineering · Computer Science 2025-02-25 Xiwei Xu , Cesare Pautasso , Sin Kuang Lo , Liming Zhu , Qinghua Lu , Ingo Weber

We propose a formal approach for specifying and implementing decentralised coordination in distributed systems, with a focus on smart contracts. Our model captures dynamic roles, data-driven transitions, and external coordination…

Programming Languages · Computer Science 2026-04-23 Elvis Konjoh Selabi , Maurizio Murgia , António Ravara , Emilio Tuosto

Novel blockchain technology provides the infrastructure layer for the creation of decentralized appli-cations. A rapidly growing ecosystem of applications is built around financial services, commonly referred to as decentralized finance.…

General Finance · Quantitative Finance 2021-02-25 Johannes Rude Jensen , Victor von Wachter , Omri Ross

Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts are programs written in specialized programming languages running on a blockchain and govern how tokens…

Cryptography and Security · Computer Science 2022-07-11 Margarita Capretto , Martin Ceresa , Cesar Sanchez

Edge computing is a distributed computing paradigm that relies on computational resources of end devices in a network to bring benefits such as low bandwidth utilization, responsiveness, scalability and privacy preservation. Applications…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-23 Aleksandar Tošić , Jernej Vičič , Michael Mrissa

Blockchains and distributed ledger technology offer promising capabilities for supporting collaborative business processes across organizations. Typically, approaches in this field fall into two categories: either executing the entire…

Software Engineering · Computer Science 2023-12-13 Julius Köpke , Sebastian Trattnig

Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and…

Logic in Computer Science · Computer Science 2024-01-23 Margarita Capretto , Martin Ceresa , Cesar Sanchez

In recent years, decentralized applications (dApps) built on blockchain platforms such as Ethereum and coded in languages such as Solidity, have gained attention for their potential to disrupt traditional centralized systems. Despite their…

Computers and Society · Computer Science 2024-01-05 Sabrina Aufiero , Giacomo Ibba , Silvia Bartolucci , Giuseppe Destefanis , Rumyana Neykova , Marco Ortu
‹ Prev 1 2 3 10 Next ›