Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

Autor: van den Berg, Freek, Remke, Anne Katharina Ingrid, Haverkort, Boudewijn R.H.M., Turau, Volker, Kwiatkowska, Marta, Mangharam, Rahul, Weyer, Christoph

Publikováno v: Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, 80-93
STARTPAGE=80;ENDPAGE=93;TITLE=Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014

We propose iDSL, a domain specific language and toolbox for performance evaluation of Medical Imaging Systems. iDSL provides transformations to MoDeST models, which are in turn converted into UPPAAL and discrete-event MODES models. This enables autom

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28addfda56b62819015573295eff946c

TinyAID : automated instrumentation and evaluation support for TinyOS

Autor: Weyer, Christoph, Renner, Bernd-Christian, Turau, Volker, Frey, Hannes

Publikováno v: Proceedings of the Second International Workshop on Sensor Network Engineering, IWSNE 2009, Marina del Rey, CA, USA, June 2009.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::24eb67a684482fdb421e315d8924f575

A Dynamic Topology Control Algorithm for Wireless Sensor Networks.

Autor: Siegemund, Gerry, Turau, Volker, Weyer, Christoph

Publikováno v: Ad-hoc, Mobile & Wireless Networks: 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 - July 1, 2015, Proceedings; 2015, p3-18, 16p

Randomized Self-stabilizing Algorithms for Wireless Sensor Networks.

Autor: Meer, Hermann, Sterbenz, James P. G., Turau, Volker, Weyer, Christoph

Publikováno v: Self-Organizing Systems; 2006, p74-89, 16p