中文
相关论文

相关论文: Supporting Long-term Transactions in Smart Contrac…

200 篇论文

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…

Recently, Blockchain technology adoption has expanded to many application areas due to the evolution of smart contracts. However, developing smart contracts is non-trivial and challenging due to the lack of tools and expertise in this…

软件工程 · 计算机科学 2021-03-18 Ilham Qasse , Shailesh Mishra , Mohammad Hamdaqa

A complex business process demands adaptability as it has been highly influenced by the contextual information. The contextual information declares the underlying semantics on which the process logic depends. Thus one of the challenges of a…

软件工程 · 计算机科学 2018-06-06 Debarpita Santra , Sankhayan Choudhury

Blockchain technology is booming up the digital world in recent days and thus paved a way for creating separate blockchain network for various industries. This technology is characterized by its distributed, decentralized, and immutable…

分布式、并行与集群计算 · 计算机科学 2024-10-31 Ankit Ravish , Akshay Tejwani , Piduguralla Manaswini , Sathya Peri

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…

密码学与安全 · 计算机科学 2022-07-11 Margarita Capretto , Martin Ceresa , Cesar Sanchez

Business Process Model and Notation (BPMN) provides a standard for the design of business processes. It focuses on bridging the gap between the analysis and the technical perspectives, and aims to deliver process automation. The aim of this…

数据库 · 计算机科学 2015-09-01 Anastasios Gounaris

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…

密码学与安全 · 计算机科学 2019-11-27 Harsh Jot Singh , Abdelhakim Senhaji Hafid

Blockchain has emerged as a trusted and secure distributed ledger for transactions while also being decentralised, distributed and its legitimacy not guaranteed by a trusted authority. Since the appearance of Bitcoin, Blockchain has known…

分布式、并行与集群计算 · 计算机科学 2018-10-01 Ioana Stanescu , Lenuta Alboaie , Andrei Panu

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…

密码学与安全 · 计算机科学 2024-10-18 Youwei Huang , Sen Fang , Jianwen Li , Bin Hu , Tao Zhang

With the development of blockchain technologies, the number of smart contracts deployed on blockchain platforms is growing exponentially, which makes it difficult for users to find desired services by manual screening. The automatic…

信息检索 · 计算机科学 2021-06-30 Chaochen Shi , Yong Xiang , Robin Ram Mohan Doss , Jiangshan Yu , Keshav Sood , Longxiang Gao

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…

计算机科学中的逻辑 · 计算机科学 2018-11-16 Ron van der Meyden

Distributed immutable ledgers, or blockchains, allow the secure digitization of evidential transactions without relying on a trusted third-party. Evidential transactions involve the exchange of any form of physical evidence, such as money,…

密码学与安全 · 计算机科学 2024-03-26 Zaynah Dargaye , Önder Gürcan , Florent Kirchner , Sara Tucci-Piergiovanni

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…

密码学与安全 · 计算机科学 2023-06-09 Jian Liu , Peilun Li , Raymond~Cheng , N. Asokan , Dawn Song

Infrastructure maintenance is inherently complex, especially for widely dispersed transport systems like roads and railroads. Maintaining this infrastructure involves multiple partners working together to ensure safe, efficient upkeep that…

计算机与社会 · 计算机科学 2024-10-29 Fatjon Seraj

With the growing concern of AI safety, there is a need to trust the computations done by machine learning (ML) models. Blockchain technology, known for recording data and running computations transparently and in a tamper-proof manner, can…

机器学习 · 计算机科学 2024-04-29 Zhikai Li , Steve Vott , Bhaskar Krishnamachar

Performance contracts used for servitized business models enable consideration of overall life-cycle costs rather than just production costs. However, practical implementation of performance contracts has been limited due to challenges with…

密码学与安全 · 计算机科学 2024-05-07 Jens J. Hunhevicz , Mahshid Motie , Daniel M. Hall

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…

计算机与社会 · 计算机科学 2022-08-03 Kamal Kishor Singh

Blockchain is a core technology to manage the value of cryptocurrencies, or to record trails of important business trades. The Smart Contract on blockchain is expected to improve security on blockchain system with automated operation, but…

密码学与安全 · 计算机科学 2020-01-07 Shingo Fujimoto , Yoshiki Higashikado , Takuma Takeuchi

Current blockchain approaches for business contracts are based on smart contracts, namely, software programs placed on a blockchain that are automatically executed to realize a contract. However, smart contracts lack flexibility and…

多智能体系统 · 计算机科学 2021-04-20 Samuel H. Christie , Amit K. Chopra , Munindar P. Singh

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…

软件工程 · 计算机科学 2024-06-19 Gerhard Zeisler , Tim Tobias Braunauer , Albert Fleischmann , Robert Singer