On December 17thm 2014, Anna Kolesnichenko will defend her thesis: "Model-checking Mean-field Models: Algorithms and Applications".
Time: 16.45 hrs. / Introduction at 16.30 hrs.
Location: Building de Waaier, campus University of Twente
Newest generation communication networks often consist of a really large number of relatively simple nodes. Wireless sensor networks for civil or military surveillance purposes, distributed P2P file sharing applications or malicious self-aggregating botnets, they all are composed of autonomous, interacting nodes. If each node is modeled explicitly, a formal performance or dependability evaluation is limited to the restricted case where only a few nodes participate since the global model of a realistic number of nodes suffers from state space explosion.
We tackle this problem by applying mean-field approximation.
