Projekteja vuodessa
Abstrakti
As services and applications move away from the one-to-may relationship of the client-server model towards many-to-many relations such as cloud-based services and peer-to-peer networks, there is a need for a reusable model of how a node could work in such a network that transfers content between nodes. While distributed systems and in particular peer-to-peer technology has found success in file transfer use, on-demand media streaming has so far largely eluded this kind of decentralisation. In this paper we use the Event-B formalism to describe a structured formal model, from the more general node in a content transfer network to the more specific one of a peer-to-peer file sharing based content streaming.
Alkuperäiskieli | Englanti |
---|---|
Julkaisupaikka | Turku, Finland |
Kustantaja | Turku Centre for Computer Science |
ISBN (painettu) | 978-952-12-2535-2 |
Tila | Julkaistu - 2010 |
OKM-julkaisutyyppi | D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset |
Julkaisusarja
Nimi | TUCS Technical Reports |
---|---|
Numero | 994 |
ISSN (painettu) | 1239-1891 |
Sormenjälki Sukella tutkimusaiheisiin 'An Event-B Model for On-Demand Streaming'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.
Projektit
- 1 Päättynyt
-
DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M., Sere, K., Plosila, J., Sandvik, P., Olszewska, M., Tsiopoulos, L., Dahlvik, M., Wiik, J., Laibinis, L., Neovius, M. & Lumme, K.
01/01/08 → 31/12/11
Projekti: Research