Browsing by Author "Rossi, Sabina"

DSpace/Manakin Repository

Browsing by Author "Rossi, Sabina"

Sort by: Order: Results:

  • Approximate Persistent Stochastic Non Interference 
    Yoshida, Kotono <1995> (Università Ca' Foscari Venezia, 2019-07-10)
    In this thesis a security property for stochastic, cooperating processes expressed as terms of the Performance Evaluation Process Algebra (PEPA) is studied. It is expressed as the notion of Persistent Stochastic Non-Interference ...
  • Computing the renaming functions of a ρ-reversible Markov chain 
    Sottana, Matteo <1993> (Università Ca' Foscari Venezia, 2017-07-06)
    A Markov process is a stochastic process where the probability distribution of the future states depend only on the information that we have about the current time, not on the information we have on the past states. Markov ...
  • Encoding G-Networks into the Stochastic Process Algebra PEPA 
    Cavallin, Filippo <1988> (Università Ca' Foscari Venezia, 2014-03-11)
    In my thesis I study models of G-Networks, encoding them into the Stochastic Process Algebra PEPA. Up to now there was the general belief that G-Networks could not be caught by a traditional stochastic process algebra and ...
  • 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 ...
  • Time Reversibility modulo State Renaming for Probabilistic Concurrent Automata 
    Zgura, Anida <1986> (Università Ca' Foscari Venezia, 2015-07-09)
    The dimension problem of states space makes the computation of quantitative data impractical due to the memory and time requirements. To this scope, time reversibility plays an important role on the analysis of these ...