PESARO 2015, The Fifth International Conference on Performance, Safety and Robustness in Complex Systems and Applications

Type: conference

Notes: IARIA Conference.

Editors:
Wolfgang Leister, Norsk Regnesentral (Norwegian Computing Center), Norway

ISSN: 2308-3700

ISBN: 978-1-61208-401-5

Location: Barcelona, Spain

Dates: from April 19, 2015 to April 24, 2015

Articles: there are 4 articles

A Compositional Safety Specification Using a Contract-Based Design Methodology
Markus Oertel, Peter Battram, Omar Kacimi, Sebastian Gerwinn, and Achim Rettberg
keywords: Safety Critical Systems, Safety Contracts, Contract-based Design, Model-based Design, Fault Modeling, Model Checking, Formal Methods

Using Community Structure Information to Improve Complex Networks Robustness
Cinara Guellner Ghedini and Carlos Henrique Costa Ribeiro
keywords: attacks and failures tolerance; community structure; adaptive mechanisms

Estimation of Job Execution Time in MapReduce Framework over GPU clusters
Yang Hung, Sheng-Tzong Cheng, and Chia-Mei Chen
keywords: MapReduce; Stochastic Petri Net; Estimation of execution time

Towards Assessing Visitor Engagement in Science Centres and Museums
Wolfgang Leister, Ingvar Tjøstheim, Göran Joryd, and Trenton Schulz
keywords: assessment; installations; science centres; museums; visitor engagement.