Analysing a publish/subscribe system for mobile ad hoc networks with ProbLog

Authors:
Theofrastos Mantadelis;Koosha Paridel;Gerda Janssens;Yves Vanrompay;Yolande Berbers
Affiliations:
Departement Computerwetenschappen, K.U. Leuven, Heverlee, Belgium;Departement Computerwetenschappen, K.U. Leuven, Heverlee, Belgium;Departement Computerwetenschappen, K.U. Leuven, Heverlee, Belgium;Departement Computerwetenschappen, K.U. Leuven, Heverlee, Belgium;Departement Computerwetenschappen, K.U. Leuven, Heverlee, Belgium
Venue:
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Year:
2011

Citing 3
Cited 0

On the Efficient Execution of ProbLog Programs

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ProbLog: a probabilistic prolog and its application in link discovery

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Fadip: lightweight publish/subscribe for mobile ad hoc networks

OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

Fadip is a Publish/Subscribe system for Mobile Ad hoc Networks which uses probabilistic routing of messages to deal with the volatile nature of the network. It uses controlled propagation of publications and subscriptions, with the fading gossip technique to reduce the number of broadcasts. We present a probabilistic logic program in ProbLog that models Fadip. This allows us to calculate the probabilities that messages are successfully received by subscribers and to analyse the performance of the Fadip system.