Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method.

Iakovos Ouranos Kazuhiro Ogata Petros S. Stefaneas

Published in: ISoLA (2) (2012)

Keyphrases

formal analysis
high precision
detection method
high accuracy
significant improvement
preprocessing
image segmentation
cost function
computational cost
relational databases
software development
lightweight
clustering method
pairwise
segmentation method
similarity measure
feature selection