Proceedings of the 4th Workshop on Middleware for Edge Clouds & Cloudlets