Cloud computing platforms can allow organizations to become more efficient and more responsive to users of both internal and external systems, yet a clear understanding is needed in order to separate the facts from the hype behind this new and rapidly expanding area. This Guide …
Cloud computing platforms can allow organizations to become more efficient and more responsive to users of both internal and external systems, yet a clear understanding is needed in order to separate the facts from the hype behind this new and rapidly expanding area. This Guide …
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the vo…
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the vo…
This book constitutes the refereed proceedings of the 5th International Symposium on Ubiquitous Networking, UNet 2019, held in Limoges, France, in November 2019. The 17 revised full papers presented together with 1 short paper were carefully reviewed and selected from 41 submiss…
This book constitutes refereed proceedings of the 14th International Conference on Parallel Computational Technologies, PCT 2020, held in May 2020. Due to the COVID-19 pandemic the conference was held online. The 22 revised full papers and 2 short papers presented were carefully…
This book constitutes refereed proceedings of the 4th International Conference on New Trends in Information and Communications Technology Applications, NTICT 2020, held on June 15, 2020. The NTICT conference was planned to take place in Baghdad on March 11-12, 2019, but due to t…
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Prac…
This book constitutes the refereed post-conference proceedings of the 11th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2019, held in conjunction with the 45th International Conference on Very Large Databases (VLDB 2019) in August 2019. The 11 pape…
This book constitutes the refereed proceedings of the First International Conference on Big Data and Security, ICBDS 2019, held in Nanjing, China, in December 2019. The 37 revised full papers and 12 short papers were carefully reviewed and selected out of 251 submissions. The pa…
This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The 48 papers included in this volume were carefully reviewed and selected from 58 submissions. The program of the 2020 mee…
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Financial Cryptography and Data Security, FC 2020, held in Kota Kinabalu, Malaysia, in February 2020. The 34 revised full papers and 2 short papers were carefully se…
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Financial Cryptography and Data Security, FC 2020, held in Kota Kinabalu, Malaysia, in February 2020. The 34 revised full papers and 2 short papers were carefully se…
This book constitutes the refereed proceedings of the 11th International Development Informatics Association Conference, IDIA 2020, held in Macau, China, in March 2020.* The 14 revised full papers presented were carefully reviewed and selected from 43 submissions. The papers are…
This book constitutes the refereed proceedings of the 11th International Development Informatics Association Conference, IDIA 2020, held in Macau, China, in March 2020.* The 14 revised full papers presented were carefully reviewed and selected from 43 submissions. The papers are…
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presente…
