English
Related papers

Related papers: Construction Payment Automation Using Blockchain-E…

200 papers

Industrial Internet of Things is a new milestone that will require new industry paradigms and investments. In this context, cyber-physical systems are considered the bridge to the fourth revolution. Centralized approaches and observance of…

The digital transformation of companies is expected to increase the digital interconnection between different companies to develop optimized, customized, hybrid business models. These cross-company business models require secure, reliable,…

Cryptography and Security · Computer Science 2020-07-29 Kevin Wallis , Jan Stodt , Eugen Jastremskoj , Christoph Reich

Blockchain and smart contracts have emerged as revolutionary technologies transforming distributed computing. While platform evolution and smart contracts' inherent immutability necessitate migrations both across and within chains,…

Cryptography and Security · Computer Science 2025-05-16 Tahrim Hossain , Faisal Haque Bappy , Tarannum Shaila Zaman , Raiful Hasan , Tariqul Islam

A smart contract is a digital program of transaction protocol (rules of contract) based on the consensus architecture of blockchain. Smart contracts with Blockchain are modern technologies that have gained enormous attention in scientific…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-17 Norah M. Alshahrani , M. L. Mat Kiah , B. B. Zaidan , A. H. Alamoodi , Abdu Saif

The application of renewable energy sources in the power grid increases the necessity of tracking the system's state, especially in smart grids, where there is a bidirectional transfer of data and power. The complexity of coupling between…

Systems and Control · Electrical Eng. & Systems 2021-06-24 Sajjad Asefi , Yash Madhwal , Yury Yanovich , Elena Gryazina

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

A blockchain-based smart contract or a "smart contract" for short, is a computer program intended to digitally facilitate the negotiation or contractual terms directly between users when certain conditions are met. With the advance in…

Computers and Society · Computer Science 2019-06-11 Yining Hu , Madhusanka Liyanage , Ahsan Mansoor , Kanchana Thilakarathna , Guillaume Jourjon , Aruna Seneviratne

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

Development of blockchain smart contracts is more difficult than mainstream software development because the underlying blockchain infrastructure poses additional complexity. To ease the developer's task of writing smart contract, as other…

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

The agricultural sector is still lagging behind from all other sectors in terms of using the newest technologies. For production, the latest machines are being introduced and adopted. However, pre-harvest and post-harvest processing are…

Computers and Society · Computer Science 2021-04-02 Tahmid Hasan Pranto , Abdulla All Noman , Atik Mahmud , AKM Bahalul Haque

A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important activities across industry sectors including supply chain,…

Software Engineering · Computer Science 2021-04-20 Palina Tolmach , Yi Li , Shang-Wei Lin , Yang Liu , Zengxiang Li

The developed system aims to incorporate a private blockchain technology in the procurement process for the supply office. The procurement process includes the canvassing, purchasing, delivery and inspection of items, inventory, and…

Cryptography and Security · Computer Science 2024-07-15 Alonel A. Hugo , Gerard Nathaniel C. Ngo

Cross-Blockchain communication has gained traction due to the increasing fragmentation of blockchain networks and scalability solutions such as side-chaining and sharding. With SmartSync, we propose a novel concept for cross-blockchain…

Cryptography and Security · Computer Science 2022-09-01 Martin Westerkamp , Axel Küpper

To address the challenges of internal security policy compliance and dynamic threat response in organizations, we present a novel framework that integrates artificial intelligence (AI), blockchain, and smart contracts. We propose a system…

Cryptography and Security · Computer Science 2024-12-17 Lampis Alevizos , Vinh Thong Ta

Blockchain technology and artificial intelligence (AI) are current hot topics in research and practice. However, the potentials of their combination have been studied just recently to a larger extend. While different use cases for combining…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-24 Philipp Brune

The blockchain constitutes a technology-based, rather than social or regulation based, means to lower uncertainty about one another in order to exchange value. However, its use may very well also lead to increased complexity resulting from…

Computers and Society · Computer Science 2018-01-09 Henry Kim , Marek Laskowski

Healthcare insurance provides financial support to access medical services for patients while ensuring timely and guaranteed payment for providers. Insurance fraud poses a significant challenge to insurance companies and policyholders,…

Cryptography and Security · Computer Science 2024-07-26 Md Al Amin , Rushabh Shah , Hemanth Tummala , Indrajit Ray

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

Interoperability is a significant challenge in blockchain technology, hindering seamless data and service sharing across diverse blockchain networks. This study introduces Automated Gateways as a novel framework leveraging smart contracts…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-24 Koosha Esmaeilzadeh Khorasani , Sara Rouhani , Rui Pan , Vahid Pourheidari

As the significance of blockchain innovation grows and the focus on scalability intensifies, rollup technology has emerged as a promising approach to tackle these scalability concerns. Nonetheless, rollups encounter restrictions when…

Cryptography and Security · Computer Science 2023-06-01 Hyun Jeong , Hyemin Lee