BeDCV: Blockchain-Enabled Decentralized Consistency Verification for Cross-Chain Calculation.
Yushu ZhangJiajia JiangXuewen DongLiangmin WangYong XiangPublished in: IEEE Trans. Cloud Comput. (2023)
Keyphrases
- model checking
- consistency checking
- cooperative
- path consistency
- face verification
- global constraints
- peer to peer
- distributed systems
- neural network
- asynchronous circuits
- formal analysis
- multi agent
- real world
- relational databases
- digital libraries
- decision trees
- formal methods
- website
- signature verification
- formal verification
- genetic algorithm
- global consistency
- temporal consistency
- databases
- calculation method
- maintaining consistency