[Studies in Computational Intelligence] Intelligent Distributed Computing VIII Volume 570 || Distributed Runtime Verification of JADE Multiagent Systems

✍ Scribed by Camacho, David; Braubach, Lars; Venticinque, Salvatore; Badica, Costin

• Book ID: 126984785
• Publisher: Springer International Publishing
• Year: 2015
• Tongue: English
• Weight: 565 KB
• Edition: 2
• Category: Article
• ISBN: 3319104225
• DOI: 10.1007/978-3-319-10422-5_10

✦ Synopsis

This book represents the combined peer-reviewed proceedings of the Eight International Symposium on Intelligent Distributed Computing - IDC'2014, of the Workshop on Cyber Security and Resilience of Large-Scale Systems - WSRL-2014, and of the Sixth International Workshop on Multi-Agent Systems Technology and Semantics- MASTS-2014. All the events were held in Madrid, Spain, during September 3-5, 2014. The 47 contributions published in this book address several topics related to theory and applications of the intelligent distributed computing and multi-agent systems, including: agent-based data processing, ambient intelligence, collaborative systems, cryptography and security, distributed algorithms, grid and cloud computing, information extraction, knowledge management, big data and ontologies, social networks, swarm intelligence or videogames amongst others.