Predictive Proof of Metrics - a New Blockchain Consensus Protocol.
Venkata Siva Vijayendra BhamidipatiMichael ChanArpit JainAshok Srinivasa MurthyDerek ChamorroAniruddh Kamalapuram MuralidharPublished in: IoTSMS (2019)
Keyphrases
- formal proof
- source code metrics
- lightweight
- theorem prover
- cryptographic protocols
- coloured petri nets
- evaluation metrics
- directed networks
- predictive modeling
- communication protocol
- neural network
- file transfer
- tcp ip
- similarity metrics
- formal analysis
- information retrieval
- database
- authentication protocol
- linear logic
- network simulator
- multi party
- protocol specification
- predictive model