Описание: 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 Рейтинг: Цена: 6707.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 Рейтинг: Цена: 6830.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 Рейтинг: Цена: 7562.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 Рейтинг: Цена: 13415.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.
Автор: Dirk Beyer; Michele Boreale Название: Formal Techniques for Distributed Systems ISBN: 3642385915 ISBN-13(EAN): 9783642385919 Издательство: Springer Рейтинг: Цена: 6097.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.
Автор: Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti Название: Critical Systems: Formal Methods and Automated Verification ISBN: 331967112X ISBN-13(EAN): 9783319671123 Издательство: Springer Рейтинг: Цена: 6707.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Automated verification techniques.- Testing and scheduling.- Formal Methods for mobile and autonomous robots.- Modeling and analysis techniques.
Автор: Manuel N??ez; Matthias G?demann Название: Formal Methods for Industrial Critical Systems ISBN: 3319194577 ISBN-13(EAN): 9783319194578 Издательство: Springer Рейтинг: Цена: 5854.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications;
Автор: Michael Dierkes; Charles Pecheur Название: Formal Methods for Industrial Critical Systems ISBN: 364241009X ISBN-13(EAN): 9783642410093 Издательство: Springer Рейтинг: Цена: 5611.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses.- HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis.- An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code.- Boolean Quantifier Elimination for Automotive Configuration - A Case Study.- Study on the Barriers to the Industrial Adoption of Formal Methods.- On the Effectiveness of Assertion-Based Verification in an Industrial Context.- Complex Digital System Design: A Methodology and Its Application to Medical Implants.- Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip.- Predicate Abstraction for Programmable Logic Controllers.- High-Level Guidance for Managers Deploying Formal Methods in Their Organisation.- Auditing User-Provided Axioms in Software Verification Conditions.- Formal Reliability Analysis of Protective Relays in Power Distribution Systems.- Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors.
Автор: Panagiotis Symeonidis; Andreas Zioupos Название: Matrix and Tensor Factorization Techniques for Recommender Systems ISBN: 3319413562 ISBN-13(EAN): 9783319413563 Издательство: Springer Рейтинг: Цена: 6707.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a detailed theoretical mathematical background of matrix/tensor factorization techniques and a step-by-step analysis of each method on the basis of an integrated toy example that runs throughout all its chapters and helps the reader to understand the key differences among methods.
Описание: Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
