This volume
is a comprehensive collection of extended contributions from the fourth
international 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 to
theory and applications of networking and distributed computing, including:
cloud computing, software engineering, formal methods, information extraction,
optimization algorithms, intelligent systems, and multi-agent systems.