Applying a Verification Protocol to Evaluate the Accuracy of Functional Size Measurement Procedures: An Empirical Approach.
Christian Quesada-LópezMarcelo JenkinsPublished in: PROFES (2015)
Keyphrases
- cryptographic protocols
- window size
- computational complexity
- computational cost
- classification accuracy
- high accuracy
- formal analysis
- lightweight
- prediction accuracy
- roc curve
- measurement error
- highly accurate
- standard deviation
- feature selection
- functional verification
- coloured petri nets
- distributed databases
- real time
- neural network