Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
A survey of smart contract formal specification and verification
A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …
blockchain platform. Given the significance of smart contracts in supporting important …
Legally enforceable smart-contract languages: A systematic literature review
Smart contracts are a key component of today's blockchains. They are critical in controlling
decentralized autonomous organizations (DAO). However, smart contracts are not yet …
decentralized autonomous organizations (DAO). However, smart contracts are not yet …
Blockchain support for collaborative business processes
Blockchain technology provides basic building blocks to support the execution of
collaborative business processes involving mutually untrusted parties in a decentralized …
collaborative business processes involving mutually untrusted parties in a decentralized …
A formal specification smart-contract language for legally binding decentralized autonomous organizations
Blockchain-and smart-contract technology enhance the effectiveness and automation of
business processes. The rising interest in the development of decentralized autonomous …
business processes. The rising interest in the development of decentralized autonomous …
Blockchain oracles: A framework for blockchain-based applications
Oracles support the access, validation, and transmission of data from external sources to
blockchain systems. They are important components of blockchain-based architectures …
blockchain systems. They are important components of blockchain-based architectures …
Using blockchain to improve collaborative business process management: Systematic literature review
BlockChain Technology (BCT) has appeared with strength and promises an authentic
revolution on business, management, and organizational strategies related to utilization of …
revolution on business, management, and organizational strategies related to utilization of …
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review
The creation of blockchain-based software applications requires today considerable
technical knowledge, particularly in software design and programming. This is regarded as a …
technical knowledge, particularly in software design and programming. This is regarded as a …
[HTML][HTML] A flexible approach to multi-party business process execution on blockchain
In modern business scenarios, more and more organisations have to deal with the critical
requirements of trustworthiness and flexibility, when collaborating in multi-party business …
requirements of trustworthiness and flexibility, when collaborating in multi-party business …
Applications of blockchain in business processes: A comprehensive review
Blockchain (BC), as an emerging technology, is revolutionizing Business Process
Management (BPM) in multiple ways. The main adoption is to serve as a trusted …
Management (BPM) in multiple ways. The main adoption is to serve as a trusted …
Solidity code generation from UML state machines in model-driven smart contract development
For the development of blockchain smart contracts, a structured approach based on the
principles of the Model Driven Architecture can be beneficial and facilitate the …
principles of the Model Driven Architecture can be beneficial and facilitate the …