A Simple Protocol Whose Proof Isn't.

Published in: IEEE Trans. Commun. (1985)

Keyphrases

lightweight
real world
highly reliable
digital libraries
formal proof
database
real time
neural network
learning algorithm
information systems
e learning
knowledge base