ATP: A Microprotocol Approach to Autonomic Communication.

Nicolas Van Wambeke Ernesto Exposito Christophe Chassot Michel Diaz

Published in: IEEE Trans. Computers (2013)

Keyphrases

communication systems
automated theorem proving
theorem prover
neural network
knowledge base
communication networks
communication technologies
communication patterns
artificial intelligence
decision trees
computer networks
communication cost