Browsing Tesi di dottorato by Author "Rossi, Sabina"

DSpace/Manakin Repository

Browsing Tesi di dottorato by Author "Rossi, Sabina"

Sort by: Order: Results:

  • Formal models for qualitative and quantitative analysis of mobile ad hoc and sensor networks 
    Gallina, Lucia <1984> (Università Ca' Foscari Venezia, 2013-04-19)
    Mobile ad-hoc networks (MANETs) are systems of mobile devices communicating with each other through wireless links without a pre-established networking infrastructure. The absence of a central infrastructure, together with ...
  • Product-forms beyond quasi-reversibility 
    Cavallin, Filippo <1988> (Università Ca' Foscari Venezia, 2018-07-10)
    Assessing the performance and reliability of computer and telecommunication systems requires the development of stochastic models whose state space are very large. This problem is often known as "State Space Explosion". As ...