Quality-aware Scheduling for Key-value Data Stores

Interrupt Handling Schemes in Operating Systems

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

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers

Embedded Operating Systems A Practical Approach

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings