Privately and Publicly Verifiable Computing Techniques A Survey

QoS Prediction in Cloud and Service Computing Approaches and Applications

Data and Energy Integrated Communication Networks A Brief Introduction

Software Fault Detection and Correction: Modeling and Applications

Recurrent Neural Networks for Short-Term Load Forecasting An Overview and Comparative Analysis

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers

Energy Minimization Methods in Computer Vision and Pattern Recognition 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015. Proceedings