Formal Techniques for Distributed Objects, Components, and Systems, Ahmed Bouajjani; Alexandra Silva
Автор: 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.
Автор: Bernhard Beckert; Ferruccio Damiani; Frank S. de B Название: Formal Methods for Components and Objects ISBN: 3642358861 ISBN-13(EAN): 9783642358869 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The ASCENS Project.- ASCENS: Engineering Autonomic Service-Component Ensembles.- A Language-Based Approach to Autonomic Computing.- A Survey on Basic Connectors and Buffers.- The EternalS Coordination Action.- Synthesis-Based Variability Control: Correctness by Construction.- Modeling Application-Level Management of Virtualized Resources in ABS.- HATS Abstract Behavioral Specification: The Architectural View.- Automatic Service Categorisation through Machine Learning in Emergent Middleware.- Towards a Model- and Learning-Based Framework for Security Anomaly Detection.- Enhancing Model Driven Security through Pattern Refinement Techniques.- Project Zeppelin: A Modern Web Application Development Framework.- The ParaPhrase Project.- Managing Adaptivity in Parallel Systems.- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems.- Paraphrasing: Generating Parallel Programs Using Refactoring.- An Abstract Annotation Model for Skeletons.- The PRO3D Project.- PRO3D, Programming for Future 3D Manycore Architectures: Project Interim Status.- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems.- Component Assemblies in the Context of Manycore.- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints.
Автор: 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.
Автор: Cyrille Artho; Peter Csaba ?lveczky Название: Formal Techniques for Safety-Critical Systems ISBN: 3319539450 ISBN-13(EAN): 9783319539454 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions.
Описание: 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.
Автор: 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.
Автор: Elie Najm; Jean-Francois Pradat-Peyre; V?ronique V Название: Formal Techniques for Networked and Distributed Systems - FORTE 2006 ISBN: 3540462198 ISBN-13(EAN): 9783540462194 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. This book presents 26 revised full papers and 4 short papers together with 3 invited lectures that were reviewed and selected from 177 submissions.
Автор: 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.
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.
The main contributions of this book are twofold.
i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations.
ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.
Автор: 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;
Автор: Elena Giachino; Reiner H?hnle; Frank S. de Boer; M Название: Formal Methods for Components and Objects ISBN: 3642406149 ISBN-13(EAN): 9783642406140 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
