Coordination Models and Languages, Di Marzo Serugendo

Автор: David Clarke; Gul Agha
Название: Coordination Models and Languages
ISBN: 3642134130 ISBN-13(EAN): 9783642134135
Издательство: Springer
Рейтинг:
Цена: 65170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages, COORDINATION 2010, held in Amsterdam, The Netherlands, in June 2010, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2010.

Автор: Rocco De Nicola; Christine Julien
Название: Coordination Models and Languages
ISBN: 3642384927 ISBN-13(EAN): 9783642384929
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013).

Автор: Abdelkader Abdessameud; Abdelhamid Tayebi
Название: Motion Coordination for VTOL Unmanned Aerial Vehicles
ISBN: 1447160592 ISBN-13(EAN): 9781447160595
Издательство: Springer
Рейтинг:
Цена: 113180.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book integrates control design techniques with concepts from nonlinear control theory and multi-agent systems to produce a framework for the formation control of a class of under-actuated aerial vehicles capable of vertical take-off and landing.

Автор: John Field; Vasco Thudichum Vasconcelos
Название: Coordination Models and Languages
ISBN: 3642020526 ISBN-13(EAN): 9783642020520
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2009.

Автор: Lluch Lafuente
Название: Coordination Models and Languages
ISBN: 3319395181 ISBN-13(EAN): 9783319395180
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Multilevel Transitive and Intransitive Non-Interference, Causally.- A Game Interpretation of Retractable Contracts.- Where Do Your IoT Ingredients Come from?.- Tuple Spaces Implementations and Their Efficiency.- On-the-Fly Mean-field Model-Checking for Attribute-Based Coordination.- Scheduling Games for Concurrent Systems.- ParT: An Asynchronous Parallel Abstraction for Speculative PipelineComputations.- Modelling Ambulance Deployment with CARMA.- On Synchronous and Asynchronous Compatibility of Communicating Components.- A Semantic Theory of the Internet of Things.- A Formal Analysis of the Global Sequence Protocol.- Improving Gossip Dynamics through Overlapping Replicates.- From Modelling to Systematic Deployment of Distributed Active Objects.- An Interference-Free Programming Model for Network Objects.- On Sessions and Infinite Data.- On Dynamical Probabilities, or: How to Learn to Shoot Straight.

Автор: Eva K?hn; Rosario Pugliese
Название: Coordination Models and Languages
ISBN: 3662433753 ISBN-13(EAN): 9783662433751
Издательство: Springer
Рейтинг:
Цена: 57770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in June 2014.

Автор: Jean-Marie Jacquet; Mieke Massink
Название: Coordination Models and Languages
ISBN: 3319597450 ISBN-13(EAN): 9783319597454
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchatel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.
The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification.

Автор: Tom Holvoet; Mirko Viroli
Название: Coordination Models and Languages
ISBN: 3319192817 ISBN-13(EAN): 9783319192819
Издательство: Springer
Рейтинг:
Цена: 57770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015.

Автор: Jomi Fred Hubner; Eric T Matson; Olivier Boissier;
Название: Coordination, Organizations, Institutions and Norms in Agent Systems IV
ISBN: 3642004423 ISBN-13(EAN): 9783642004421
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains sections that range from coordination to organization, from organization to coordination, formalization of norms and institutions, design of norms and institutions, as well as applications.

Автор: Stefano Mariani
Название: Coordination of Complex Sociotechnical Systems
ISBN: 3319471082 ISBN-13(EAN): 9783319471082
Издательство: Springer
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Cranefield Stephen
Название: Coordination, Organizations, Instiutions, and Norms in Agent
ISBN: 3642355447 ISBN-13(EAN): 9783642355448
Издательство: Springer
Рейтинг:
Цена: 42860.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly reviewed joint post-conference proceedings of two international workshops on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@AAMAS 2011, held in Taipei, Taiwan in May 2011 and COIN@WI-IAT 2011, held in Lyon, France in August 2011.

Автор: Dignum
Название: Coordination, Organizations, Institutions, and Normes in Agent Systems XI
ISBN: 3319426907 ISBN-13(EAN): 9783319426907
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2015.