This volumeis a comprehensive collection of extended contributions from the fourthinternational symposium on Modeling and Implementing Complex Systems(MICS’2106) organized into four main topics: Networking and Cloud Computing,Software Engineering and Formal Methods, Intelligent and Information Systems,and Algorithms and Complexity. This book presents recent advances related totheory and applications of networking and distributed computing, including:cloud computing, software engineering, formal methods, information extraction,optimization algorithms, intelligent systems, and multi-agent systems.