Coordination Models and Languages, David Clarke; Gul Agha

Автор: John Field; Vasco Thudichum Vasconcelos
Название: Coordination Models and Languages
ISBN: 3642020526 ISBN-13(EAN): 9783642020520
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Abdelkader Abdessameud; Abdelhamid Tayebi
Название: Motion Coordination for VTOL Unmanned Aerial Vehicles
ISBN: 1447160592 ISBN-13(EAN): 9781447160595
Издательство: Springer
Рейтинг:
Цена: 16977.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Marco Mamei; Franco Zambonelli
Название: Field-Based Coordination for Pervasive Multiagent Systems
ISBN: 3642066232 ISBN-13(EAN): 9783642066238
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: More and more, software systems involve autonomous and distributed software components that have to execute and interact in open and dynamic environments, such as in pervasive, autonomous, and mobile applications.

Автор: Jean-Marie Jacquet; Mieke Massink
Название: Coordination Models and Languages
ISBN: 3319597450 ISBN-13(EAN): 9783319597454
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 8665.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Eva K?hn; Rosario Pugliese
Название: Coordination Models and Languages
ISBN: 3662433753 ISBN-13(EAN): 9783662433751
Издательство: Springer
Рейтинг:
Цена: 8665.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in June 2014.

Автор: Paolo Ciancarini; Chris Hankin
Название: Coordination Languages and Models
ISBN: 3540610529 ISBN-13(EAN): 9783540610526
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings are concerned with co-ordination, languages and models, a characteristic feature of which is that they are based on (generative) communication via a shared data space. Included with the book are posters.

Автор: Rocco De Nicola; Christine Julien
Название: Coordination Models and Languages
ISBN: 3642384927 ISBN-13(EAN): 9783642384929
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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).

Автор: Lluch Lafuente
Название: Coordination Models and Languages
ISBN: 3319395181 ISBN-13(EAN): 9783319395180
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Dignum
Название: Coordination, Organizations, Institutions, and Normes in Agent Systems XI
ISBN: 3319426907 ISBN-13(EAN): 9783319426907
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Andrea Omicini; Franco Zambonelli; Matthias Klusch
Название: Coordination of Internet Agents
ISBN: 3540416137 ISBN-13(EAN): 9783540416135
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Internet confronts IT researchers, system designers, and application developers with completely new challenges and, as a fascinating new computing paradigm, agent technology has recently attracted broad interest and strong hopes for shaping the future information society.

Автор: Henderik A. Proper; Robert Winter; Stephan Aier; S
Название: Architectural Coordination of Enterprise Transformation
ISBN: 3319695835 ISBN-13(EAN): 9783319695839
Издательство: Springer
Рейтинг:
Цена: 9362.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 1 Introduction.- 2 A major transformation at a global insurance company.- 3 Centralised monitoring of pensions in Greece.- 4 Enterprise coherence in the public sector.- 5 Public services opening up to innovation.- 6 Degrees of change in enterprises.- 7 Enterprise transformation from a social perspective.- 8 More than engineering; The role of subcultures.- 9 The need for a use perspective on architectural coordination.- 10 Involving the right stakeholders - Enterprise coherence governance.- 11 Information requirements for enterprise transformation.- 12 Institutionalisation of ACET - Needs and foundations.- 13 The need for model engineering.- 14 Steering transformations with architecture principles.- 15 The need for explicit decision-making strategies.- 16 ACET constructs.- 17 Transformation intelligence capability catalogue.- 18 Coherence management dashboard for ACET.- 19 Guidelines for architecture models as boundary objects.- 20 The ACET information requirements reference model.- 21 Model bundling: Componential language engineering.- 22 Principle-based goal-oriented requirements language.- 23 The EA Anamnesis approach.- 24 Formalising enterprise architecture decision models.- 25 Situational adaptations of ACET.- 26 Conclusion and reflections.