Login / Signup
Formally Verifiable Networking.
Anduo Wang
Limin Jia
Changbin Liu
Boon Thau Loo
Oleg Sokolsky
Prithwish Basu
Published in:
HotNets (2009)
Keyphrases
</>
distributed computing
sufficient conditions
peer to peer
secret sharing
multi agent
databases
learning algorithm
artificial intelligence
context aware
communication infrastructure