Formal Techniques for Distributed Objects, Components, and Systems, Baier
Автор: Jorge A. P?rez; Nobuko Yoshida Название: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 3030217582 ISBN-13(EAN): 9783030217587 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
Автор: Marcello M. Bonsangue; Susanne Graf; Willem-Paul d Название: Formal Methods for Components and Objects ISBN: 3540921877 ISBN-13(EAN): 9783540921875 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This title presents 12 revised papers submitted after the symposium by the speakers of various European IST projects.
Автор: Marcello M. Bonsangue; Eric Madelaine Название: Formal Methods for Components and Objects ISBN: 3642041663 ISBN-13(EAN): 9783642041662 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: On the Power of Attribute-Based Communication.- Fencing Programs with Self-Invalidation and Self-Downgrade.- A Framework for Certified Self-Stabilization.- Developing Honest Java Programs with Diogenes.- Playing with our CAT and Communication-Centric Applications.- Multiparty Session Types Within A Canonical Binary Theory, and Beyond.- A Type Theory for Robust Failure Handling in Distributed Systems.- Choreographies in Practice.- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.- Branching Bisimulation Games.- A Configurable CEGAR Framework with Interpolation-Based Refinements.- A Theory for the Composition of Concurrent Processes.- Enforcing Availability in Failure-Aware Communicating Systems.- Ransomware Steals Your Phone. Formal Methods Rescue It.- Multiple Mutation Testing from FSM.- The Challenge of Typed Expressiveness in Concurrency.- Type-Based Analysis for Session Inference.- SimAutoGen Tool: Test Vector Generation from Large Scale Matlab/Simulink Models.
Автор: Ahmed Bouajjani; Alexandra Silva Название: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 3319602241 ISBN-13(EAN): 9783319602240 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Session types for Link failures.- Learning-based compositional parameter synthesis for event-recording automata.- Modularising opacity verification for Hybrid Transactional Memory.- Proving opacity via linearizability: a sound and complete method.- On futures for streaming data in ABS.- Session-based concurrency, reactively.- Procedural choreographic programming.- An observational approach to defining linearizability on weak memory models.- Applying a dependency mechanism in the formal development of voting protocol models using event-B.- Weak simulation quasimetric in a gossip scenario.- Reasoning about distributed secrets.- Classical higher-order processes.- Weak nominal modal logic.- Type inference of simulink hierarchical block diagrams in Isabelle.- Creating Bьchi automata for multi-valued model checking.- Privacy assessment using static taint analysis.- EPTL - a temporal logic for weakly consistent systems.
Автор: Erika ?brah?m; Catuscia Palamidessi Название: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 3662436124 ISBN-13(EAN): 9783662436127 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014.
Автор: Susanne Graf; Mahesh Viswanathan Название: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 3319191942 ISBN-13(EAN): 9783319191942 Издательство: Springer Рейтинг: Цена: 8665.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015.
Автор: Peter Csaba ?lveczky Название: Designing Reliable Distributed Systems ISBN: 1447166868 ISBN-13(EAN): 9781447166863 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Поставка под заказ.
Описание: This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.
Автор: Kenji Suzuki; Teruo Higashino; Keiichi Yasumoto; K Название: Formal Techniques for Networked and Distributed Systems – FORTE 2008 ISBN: 3540688544 ISBN-13(EAN): 9783540688549 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008.
Автор: David Lee; Antonia Lopes; Arnd Poetzsch-Heffter Название: Formal Techniques for Distributed Systems ISBN: 3642021379 ISBN-13(EAN): 9783642021374 Издательство: Springer Рейтинг: Цена: 10195.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009.
Автор: Dirk Beyer; Michele Boreale Название: Formal Techniques for Distributed Systems ISBN: 3642385915 ISBN-13(EAN): 9783642385919 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Distributed computing models.- Formal specification.- Testing.- Verification methods.- Application-level distributed systems.- Telecommunication services.- Internet.- Embedded and real-time systems.-Networking and communication security and reliability.
Автор: Gilles Barthe Название: Formal Methods for Open Object-Based Distributed Systems ISBN: 3540688625 ISBN-13(EAN): 9783540688624 Издательство: Springer Рейтинг: Цена: 9776.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. formal methods for service-oriented computing; integration of quality of service requirements into formal models;
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
