Probabilistic yoking proofs for large scale IoT systems.

José María de Fuentes Pedro Peris-Lopez Juan E. Tapiador Sergio Pastrana

Published in: Ad Hoc Networks (2015)

Keyphrases

management system
bayesian networks
data intensive
social networks
small scale
database
theorem proving
building blocks
computer systems
equational theories
mobile computing
wireless networks
learning systems
knowledge based systems
intelligent systems
distributed systems
artificial intelligence
real world
databases