@InProceedings{DK17, author = {Almut Demel and Michael Kirsten}, title = {Formal Fairness Properties in Network Routing Based on a Resource Allocation Model}, booktitle = {9th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017)}, editor = {Natasha Alechina and Mika Cohen and Valentin Goranko}, year = {2017}, abstract = {Network routing –being a central part of our everyday life, which increasingly depends on internet services– is highly distributed. It must provide for a variety of different services, each accommodating different requirements. Thereby, the access to network services is often very different between multiple users or agents, who are nonetheless expecting the same quality, e.g., regarding speed or availability. This work establishes a formal model of network routing, stepping into fair allocation theory, in order to develop formal fairness properties within this model. We furthermore derive possible fairness criteria from established notions in fair allocation theory.}, url = {https://www.cs.nott.ac.uk/~psznza/lamas17/papers/kirsten.pdf}, pdf = {PDF:/~kirsten/pub/demelKirsten2017.pdf}, venue = {Stockholm, Sweden}, month = aug, eventdate = {2017-08-25/2017-08-25} }
Zurück zur Hauptseite von "Praxis der Forschung"
Praxis der Forschung
Formal Fairness Properties in Network Routing Based on a Resource Allocation Model
Autor(en): | Almut Demel und Michael Kirsten |
---|---|
In: | 9th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017) |
Jahr: | 2017 |
PDF: | |
URL: | https://www.cs.nott.ac.uk/~psznza/lamas17/papers/kirsten.pdf |
Abstract
Network routing –being a central part of our everyday life, which increasingly depends on internet services– is highly distributed. It must provide for a variety of different services, each accommodating different requirements. Thereby, the access to network services is often very different between multiple users or agents, who are nonetheless expecting the same quality, e.g., regarding speed or availability. This work establishes a formal model of network routing, stepping into fair allocation theory, in order to develop formal fairness properties within this model. We furthermore derive possible fairness criteria from established notions in fair allocation theory.