Probabilistic Mobility Models for Mobile and Wireless Networks

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Abstrakt

    In this paper we present a probabilistic broadcast calculus for mobile and wireless networks whose connections are unreliable. In our calculus broadcasted messages can be lost with a certain probability, and due to mobility the connection probabilities may change. If a network broadcasts a message from a location it will evolve to a network distribution depending on whether nodes at other locations receive the message or not. Mobility of locations is not arbitrary but guarded by a probabilistic mobility function (PMF) and we also define the notion of a weak bisimulation given a PMF. It is possible to have weak bisimular networks which have different probabilistic connectivity information. We also examine the relation between our weak bisimulation and a minor variant of PCTL*. Finally we apply our
    calculus on a small example called the ZeroConf protocol.
    OriginalsprogEngelsk
    TitelIFIP Advances in Information and Communication Technology
    Antal sider15
    Vol/bind2010
    ForlagSpringer
    Publikationsdato2010
    DOI
    StatusUdgivet - 2010
    Begivenhed6th IFIP International Conference on Theoretical Computer Science - Brisbane, Australien
    Varighed: 20 sep. 201023 sep. 2010
    http://www.ifip.org/wcc2010/tcs2010/

    Konference

    Konference6th IFIP International Conference on Theoretical Computer Science
    Land/OmrådeAustralien
    ByBrisbane
    Periode20/09/201023/09/2010
    Internetadresse

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Probabilistic Mobility Models for Mobile and Wireless Networks'. Sammen danner de et unikt fingeraftryk.

    Citationsformater