A divide and conquer approach to leads-to-model checking

The paper ‘A Divide and Conquer Approach to Leads-to Model Checking’, by Yati Phyo, Canh Minh Do and Kazuhiro Ogata, published in The Computer Journal (February 2021), explores a new leads-to model method to negate the state involvement in model checking.

An Efficient Framework for a Third Party Auditor in Cloud Computing Environments

The paper ‘An Efficient Framework for a Third Party Auditor in Cloud Computing Environments’, by S. Mahdavi-Hezavehi, Y. Alimardani and R. Rahmani, published in The Computer Journal, Volume 63, Issue 9, September 2020, explores a new framework for significant cost savings in the cloud.

Measuring the Hotness of Video Streaming Will Transform Consumer Experience and Reduce Costs

The paper ‘Cost-Efficient Cloud-Based Video Streaming Through Measuring Hotness’ by Mahmoud Darwich, Mohsen Amini Salehi, Ege Beyazit and Magdy Bayoumi published in The Computer Journal, Volume 62, Issue 5, May 2019, explores a range of models to make streaming faster and lower cost.