English
Related papers

Related papers: Interpreted Execution of Business Process Models o…

200 papers

In recent years, there has been a growing interest in the verification of business process models. Despite their lack of formal characterization, these models are widely adopted in both industry and academia. To address this issue,…

Software Engineering · Computer Science 2025-11-03 Ali Nour Eldin , Benjamin Dalmas , Walid Gaaloul

Blockchain offers a decentralized, immutable, transparent system of records. It offers a peer-to-peer network of nodes with no centralised governing entity making it unhackable and therefore, more secure than the traditional paper-based or…

Cryptography and Security · Computer Science 2019-11-27 Harsh Jot Singh , Abdelhakim Senhaji Hafid

Blockchain systems and smart contracts provide ways to securely implement multi-party transactions without the use of trusted intermediaries, which currently underpin many commercial transactions. However, they do so by transferring trust…

Logic in Computer Science · Computer Science 2018-11-16 Ron van der Meyden

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

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

This paper proposes an efficient framework to execute Smart Contract Transactions (SCTs) concurrently based on object semantics, using optimistic Single-Version Object-based Software Transactional Memory Systems (SVOSTMs) and Multi-Version…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-01-24 Parwat Singh Anjana , Hagit Attiya , Sweta Kumari , Sathya Peri , Archit Somani

As the use of DevOps practices continues to grow, organizations are seeking ways to improve collaboration, speed up development cycles, and increase security, transparency, and traceability. Blockchain technology has the potential to…

Cryptography and Security · Computer Science 2023-06-02 Muhammad Shoaib Farooq , Usman Ali

In recent years, manifold blockchain protocols have been proposed by researchers and industrial companies alike. This has led to a very heterogeneous blockchain landscape. Accordingly, it would be desirable if blockchains could interact…

Cryptography and Security · Computer Science 2021-06-29 Markus Nissl , Emanuel Sallinger , Stefan Schulte , Michael Borkowski

The global financial landscape is experiencing significant transformation driven by technological advancements and evolving market dynamics. Moreover, blockchain technology has become a pivotal platform with widespread applications,…

Computational Engineering, Finance, and Science · Computer Science 2024-07-30 Maruf Ahmed Mridul , Kaiyang Chang , Aparna Gupta , Oshani Seneviratne

In our previous research, we addressed the problem of automated transformation of models, represented using the business process model and notation (BPMN) standard, into the methods of a smart contract. The transformation supports BPMN…

Software Engineering · Computer Science 2025-06-05 Christian Gang Liu , Peter Bodorik , Dawn Jutla

With the escalating prevalence of malicious activities exploiting vulnerabilities in blockchain systems, there is an urgent requirement for robust attack detection mechanisms. To address this challenge, this paper presents a novel…

At the heart of the Bitcoin is a blockchain protocol, a protocol for achieving consensus on a public ledger that records bitcoin transactions. To the extent that a blockchain protocol is used for applications such as contract signing and…

Cryptography and Security · Computer Science 2017-07-28 Joseph Y. Halpern , Rafael Pass

Recently, the blockchain technique was put in the spotlight as it introduced a systematic approach for multiple parties to reach consensus without needing trust. However, the application of this technique in practice is severely restricted…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-07-17 Zhijie Ren , Kelong Cong , Johan Pouwelse , Zekeriya Erkin

With the rapid evolution of technological, economic, and regulatory landscapes, contemporary blockchain platforms are all but certain to undergo major changes. Therefore, the applications that rely on them will eventually need to migrate…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-27 HMN Dilum Bandara , Xiwei Xu , Ingo Weber

Blockchain technology constitutes a paradigm shift in the way we conceive distributed architectures. A Blockchain system lets us build platforms where data are immutable and tamper-proof, with some constraints on the throughput and the…

Software Engineering · Computer Science 2023-08-31 Marco Fiore , Marina Mongiello , Giuseppe Acciani

In the given technology-driven era, smart cities are the next frontier of technology, aiming at improving the quality of people's lives. Many research works focus on future smart cities with a holistic approach towards smart city…

Cryptography and Security · Computer Science 2021-07-22 S. Valli Sanghami , John J. Lee , Qin Hu

The usage of process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business process orchestration. In choreographies, control over a process instance is shared between…

Software Engineering · Computer Science 2017-08-21 Christoph Prybila , Stefan Schulte , Christoph Hochreiner , Ingo Weber

Smart contract transactions demonstrate issues of performance and correctness that application programmers must work around. Although the blockchain consensus mechanism approaches ACID compliance, use cases that rely on frequent state…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-05-30 Victor Cook , Zachary Painter , Christina Peterson , Damian Dechev

Smart contracts are blockchain-based algorithms that execute when specific criteria are satisfied. They are often used to automate the implementation of an agreement so that all parties may be confident of the conclusion right away, without…

Cryptography and Security · Computer Science 2022-12-19 Harry Virani , Manthan Kyada

Blockchain technology has been proposed as a new infrastructure technology for a wide variety of novel applications. Blockchains provide an immutable record of transactions, making them useful when business actors do not trust each other.…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-27 Joerg Evermann , Henry Kim
‹ Prev 1 4 5 6 7 8 10 Next ›