Projects per year
Abstract
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.
| Original language | English |
|---|---|
| Place of Publication | Turku, Finland |
| Publisher | Turku Centre for Computer Science |
| ISBN (Print) | 978-952-12-2535-2 |
| Publication status | Published - 2010 |
| MoE publication type | D4 Published development or research report or study |
Publication series
| Name | TUCS Technical Reports |
|---|---|
| No. | 994 |
| ISSN (Print) | 1239-1891 |
Fingerprint
Dive into the research topics of 'An Event-B Model for On-Demand Streaming'. Together they form a unique fingerprint.Projects
- 1 Finished
-
DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M. (Principal Investigator), Sere, K. (Co-Principal Investigator), Plosila, J. (Co-Principal Investigator), Sandvik, P. (Co-Investigator), Olszewska, M. (Co-Investigator), Tsiopoulos, L. (Co-Investigator), Dahlvik, M. (Co-Investigator), Wiik, J. (Co-Investigator), Laibinis, L. (Co-Investigator), Neovius, M. (Co-Investigator) & Lumme, K. (Co-Investigator)
01/01/08 → 31/12/11
Project: Research Council of Finland/Other Research Councils