[Lecture Notes in Computer Science] Advances in Grid and Pervasive Computing Volume 6646 || Formal Modelling and Initial Validation of the Chelonia Distributed Storage System

✍ Scribed by Riekki, Jukka; Ylianttila, Mika; Guo, Minyi

• Book ID: 120267090
• Publisher: Springer Berlin Heidelberg
• Year: 2011
• Tongue: English
• Weight: 179 KB
• Edition: 1
• Category: Article
• ISBN: 3642207545
• DOI: 10.1007/978-3-642-20754-9_14

✦ Synopsis

This book constitutes the proceedings of the 6th International Conference, GPC 2011, held in Oulu, Finland in May 2011. The 28 revised full papers were carefully revised and selected from 62 submissions and focus on the topics cloud, cluster, and grid computing; peer-to-peer computing; applications and HCI; modeling and verification; service architectures; middleware; and sensor networks.