Projekteja vuodessa
Abstrakti
Network applications and services are pervading our society in a unforeseen manner. On one hand, this creates an extraordinary market for innovative networked applications and information services. On the other hand, these applications and services tend to be more and more complex, while the human perception of the supporting network more acute, as we expect to be able to use networks anywhere and at any time. The framework that we propose in this paper sets out to alleviate the task of a network application developer in two directions. First, we employ modularity and stepwise development to address the inherent application complexity. Second, we employ a reasoning framework named MIDAS to ensure the correctness of the proposed modeling, both at the application and at the supporting network level.
Alkuperäiskieli | Englanti |
---|---|
Kustantaja | Turku Centre for Computer Science (TUCS) |
Vuosikerta | 938 |
ISBN (painettu) | 978-952-12-2280-1 |
Tila | Julkaistu - 2009 |
OKM-julkaisutyyppi | D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset |
Julkaisusarja
Nimi | TUCS Technical Report |
---|---|
Vuosikerta | 938 |
ISSN (painettu) | 1239-1891 |
Sormenjälki
Sukella tutkimusaiheisiin 'Ensuring Correctness of Network Services with MIDAS'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.Projektit
- 1 Päättynyt
-
DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M. (Vastuullinen tutkija), Sere, K. (CoPI), Plosila, J. (CoPI), Sandvik, P. (CoI), Olszewska, M. (CoI), Tsiopoulos, L. (CoI), Dahlvik, M. (CoI), Wiik, J. (CoI), Laibinis, L. (CoI), Neovius, M. (CoI) & Lumme, K. (CoI)
01/01/08 → 31/12/11
Projekti: Research Council of Finland/Other Research Councils