You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
None
Digital democracy is a hot topic nowadays, its relevance growing along with the impact of computational platforms on our(political) life. Communication is the basal fabric on which society is defined, and it appears obvious that the civic organisation and politics itself should take the opportunities the "digital revolution" offers. Institutional inertia, nevertheless, causes large delays in updating and adapting. Therefore, the balance between participation and delegated representation is now facing a crisis. A thorough understanding of the factors involved in participation is a first step towards providing solutions. Using the Internet to fill the gap and build a digital democracy provides...
This book contains the revised and extended versions of selected papers from the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, which took place virtually during February 3–5, 2022. The conference was originally planned to take place in Vienna, Austria, but had to change to an online format due to the COVID-19 pandemic. The 9 full papers included in this book were carefully reviewed and selected from 302 submissions. They were organized in topical sections as follows: agents; artificial intelligence.
The book discusses the main issues of coordination in complex sociotechnical systems, covering distributed, self-organising, and pervasive systems. A chemistry-inspired model of coordination, a situated architecture and coordination language, and a cognitive model of interaction are the ingredients of the Molecules of Knowledge (MoK) model for self-organisation of knowledge presented in this book. The MoK technology is discussed, along with some case studies in the fields of collaborative systems, academic research, and citizen journalism. The target audience includes researchers and practitioners in the field of complex software systems engineering. The book is also appropriate for graduate and late undergraduate students in computer science and engineering.
This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers address all aspects of formal modeling and verification, architecting resilient systems, fault tolerance, requirements engineering and product lines, monitoring and self-adaption, and security and intrusion avoidance.
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2023, held in Lisbon, Portugal, during June 19-23, 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 7 full papers presented in this book were carefully reviewed and selected from 13 submissions. The papers cover the following topics: distributed algorithms and systems; data management; and distributed architectures.
This book is dedicated to the issues of security, trust and privacy models, and architectures in IoT environments. The authors aim to capture the latest research and contributions from academy, industry, and other stakeholders on new security models, architectures, protocols, and standards for ensuring security, privacy, and trustworthiness to IoT systems. The authors discuss the convergence of IoT, software agents, and edge computing to introduce social features into IoT systems, combining trustworthiness and reputation information collected by agents at the edge with security and privacy mechanisms. They also cover experimental and simulated campaigns that evaluate strategies to improve the security and privacy of the IoT world, and at the same time the ability to prevent and deter deceptive behaviors. The book is relevant for researchers, professionals, academics, and students.
This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.