(Cloud computing platforms with auto-scaling functionality)