English
Related papers

Related papers: Executable Models and Instance Tracking for Decent…

200 papers

Multi-party business processes are based on the cooperation of different actors in a distributed setting. Blockchains can provide support for the automation of such processes, even in conditions of partial trust among the participants.…

Cryptography and Security · Computer Science 2026-02-19 Edoardo Marangone , Claudio Di Ciccio , Ingo Weber

Modern blockchain systems are a fresh look at the paradigm of distributed computing, applied under assumptions of large-scale public networks. They can be used to store and share information without a trusted central party. There has been…

Databases · Computer Science 2018-03-19 Sara Cohen , Aviv Zohar

Blockchain technology provides a tamper-proof mechanism to execute inter-organizational business processes involving mutually untrusted parties. Existing approaches to blockchain-based process execution are based on code generation. In…

Software Engineering · Computer Science 2019-06-05 Orlenys López-Pintado , Marlon Dumas , Luciano García-Bañuelos , Ingo Weber

Observability helps ensure the reliability and maintainability of cloud-native applications. As software architectures become increasingly distributed and subject to change, it becomes a greater challenge to diagnose system issues…

Software Engineering · Computer Science 2025-10-06 Carlos Albuquerque , Filipe F. Correia

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

Blockchain or Distributed Ledger Technology is a disruptive technology that provides the infrastructure for developing decentralized applications enabling the implementation of novel business models even in traditionally centralized…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-22 Claudia Pop , Tudor Cioara , Ionut Anghel , Marcel Antal , Ioan Salomie

The deployment and management of Blockchain applications require non-trivial efforts given the unique characteristics of their infrastructure (i.e., immutability) and the complexity of the software systems being executed. The operation of…

Software Engineering · Computer Science 2022-09-13 Luciano Baresi , Giovanni Quattrocchi , Damian Andrew Tamburri , Luca Terracciano

Decentralization initiatives such as Solid and ActivityPub aim to give data owners more control over their data and to level the playing field by enabling small companies and individuals to gain access to data, thus stimulating innovation.…

Networking and Internet Architecture · Computer Science 2023-05-11 Davide Basile , Claudio Di Ciccio , Valerio Goretti , Sabrina Kirrane

Decentralized blockchain platforms have enabled the secure exchange of crypto-assets without the intermediation of trusted authorities. To this purpose, these platforms rely on a peer-to-peer network of byzantine nodes, which…

Cryptography and Security · Computer Science 2023-06-22 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

One foundation of the model driven engineering (MDE) is to separate the modelling application description from its technological implementation (i.e. platform). Some of them are dedicated to the system execution. Hence, one promise solution…

Software Engineering · Computer Science 2014-07-25 Frédéric Thomas , Jérôme Delatour , François Terrier , Matthias Brun , Sébastien Gérard

With the advent of the Internet of things (IoT) era, more and more devices are connected to the IoT. Under the traditional cloud-thing centralized management mode, the transmission of massive data is facing many difficulties, and the…

Cryptography and Security · Computer Science 2022-02-09 Peiying Zhang , Xue Pang , Neeraj Kumar , Gagangeet Singh Aujla , Haotong Cao

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

Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract model proposed here is intended to capture both the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-11 Yackolley Amoussou-Guenou , Maurice Herlihy , Sucharita Jayanti , Maria Potop-Butucaru , Sergio Rajsbaum

With the growing amount of data, data processing workloads and the management of their resource usage becomes increasingly important. Since managing a dedicated infrastructure is in many situations infeasible or uneconomical, users…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-01-19 Dominik Scheinert , Alireza Alamgiralem , Jonathan Bader , Jonathan Will , Thorsten Wittkopp , Lauritz Thamsen

Blockchain is a type of decentralized distributed database. Unlike traditional relational database management systems, it does not require management or maintenance by a third party. All data management and update processes are open and…

Cryptography and Security · Computer Science 2025-05-14 Jiaqi Huang , Yuanzheng Niu , Xiaoqi Li , Zongwei Li

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…

Cryptography and Security · Computer Science 2023-06-09 Jian Liu , Peilun Li , Raymond~Cheng , N. Asokan , Dawn Song

There has been an unprecedented surge in the number of service providers offering a wide range of machine learning prediction APIs for tasks such as image classification, language translation, etc. thereby monetizing the underlying data and…

Computers and Society · Computer Science 2018-12-06 Vijay Arya , Sayandeep Sen , Palani Kodeswaran

There has been tremendous interest in the development of formal trust models and metrics through the use of analytics (e.g., Belief Theory and Bayesian models), logics (e.g., Epistemic and Subjective Logic) and other mathematical models.…

Cryptography and Security · Computer Science 2021-06-10 Shantanu Pal , Ambrose Hill , Tahiry Rabehaja , Michael Hitchens

With the increasing adoption of private blockchain platforms, consortia operating in various sectors such as trade, finance, logistics, etc., are becoming common. Despite having the benefits of a completely decentralized architecture which…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-11-15 Bishakh Chandra Ghosh , Tanay Bhartia , Sourav Kanti Addya , Sandip Chakraborty

Catalyzed by the popularity of blockchain technology, there has recently been a renewed interest in the design, implementation and evaluation of decentralized systems. Most of these systems are intended to be deployed at scale and in…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-01-12 Martijn de Vos , Georgy Ishmaev , Johan Pouwelse , Stefanie Roos