Guide to Distributed Simulation with HLA, Okan Top?u; Halit O?uzt?z?n

Автор: Patel H.R.
Название: Simulation Training in Laparoscopy and Robotic Surgery
ISBN: 1447129296 ISBN-13(EAN): 9781447129295
Издательство: Springer
Рейтинг:
Цена: 4268.00 р. 6097.00 -30%
Наличие на складе: Есть (1 шт.)
Описание:  The field of minimally invasive surgery (MIS) has now taken centre stage in modern clinical practice. With ever changing technologies in the field of MIS, such as robotics, there is now the need to train the surgeon to the next degree. Training by simulation, whether virtual, hybrid, or real, allows the surgeon to rehearse, learn, improve or maintain their skills in a safe and stress free environment. Simulation Training in Laparoscopy and Robotic Surgery gives a true insight into the latest educational and learning techniques for new technologies in surgery. Written by an international team of experts, this illustrated text provides advice on specialised team training, non technical skills and simulation. Simulation Training in Laparoscopy and Robotic Surgery is an important training aide for surgeons and residents interested in developing skills in this field.

Автор: Murat M. Gunal
Название: Simulation for Industry 4.0
ISBN: 3030041360 ISBN-13(EAN): 9783030041366
Издательство: Springer
Рейтинг:
Цена: 20733.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book shows how simulation`s long history and close ties to industry since the third industrial revolution have led to its growing importance in Industry 4.0. Simulation for Industry 4.0 is a guide and milestone for the simulation community, as well as those readers working to achieve the goals of Industry 4.0.

Автор: Dubois, Guillaume (paris, France)
Название: Modeling and simulation
ISBN: 0815374895 ISBN-13(EAN): 9780815374893
Издательство: Taylor&Francis
Рейтинг:
Цена: 19140.00 р.
Наличие на складе: Нет в наличии.

Описание: This book enables those working in modeling and simulation, to look at best practices from various disciplines, so that project leaders, managers, and engineers, can apply the non-technical and technical best practices to their work.

Автор: Min Chen, Yiming Miao
Название: OPNET IoT Simulation
ISBN: 9813291699 ISBN-13(EAN): 9789813291690
Издательство: Springer
Рейтинг:
Цена: 6351.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is the first book offering an in-depth and comprehensive IoT network simulation, supported by OPNET tool. This book addresses various versions of Internet of Things (IoT), including human-centric IoT, green IoT, Narrow band IoT, Smart IoT, IoT-Cloud integration.

Автор: Gilles Barthe
Название: Formal Methods for Open Object-Based Distributed Systems
ISBN: 3540688625 ISBN-13(EAN): 9783540688624
Издательство: Springer
Рейтинг:
Цена: 8532.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;

Автор: 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.

Автор: Erciyes K.
Название: Distributed Real-Time Systems: Theory and Practice
ISBN: 3030225720 ISBN-13(EAN): 9783030225728
Издательство: Springer
Рейтинг:
Цена: 6097.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is then followed with a description of the implementation of the concepts in a sample kernel, complete with executable code.Topics and features: introduces the fundamentals of real-time systems, including real-time architecture and distributed real-time systems;

Автор: Gotsman Alexey, Sokolova Ana
Название: Formal Techniques for Distributed Objects, Components, and Systems: 40th Ifip Wg 6.1 International Conference, Forte 2020, Held as Part of the 15th In
ISBN: 3030500853 ISBN-13(EAN): 9783030500856
Издательство: Springer
Рейтинг:
Цена: 7927.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Full Papers.- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.- Towards Bridging Time and Causal Reversibility.- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.- Conformance-Based Doping Detection for Cyber-Physical Systems.- On Implementable Timed Automata?.- Deep Statistical Model Checking.- Trace Equivalence and Epistemic Logic to Express Security Properties.- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns.- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.- A Formal Framework for Consent Management.- Tutorials.- Tutorial: Parameterized Verification with Byzantine Model Checker.- Typechecking Java Protocols with [St]Mungo.- Short Paper.- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).

Автор: Bonomi
Название: Distributed Applications and Interoperable Systems
ISBN: 3319937669 ISBN-13(EAN): 9783319937663
Издательство: Springer
Рейтинг:
Цена: 6097.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 18th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2018, held in Madrid, Spain, in June 2018. The 10 papers presented together with 2 short papers in this volume were carefully reviewed and selected from 33 submissions.

Автор: Zaigham Mahmood
Название: Software Project Management for Distributed Computing
ISBN: 3319543245 ISBN-13(EAN): 9783319543246
Издательство: Springer
Рейтинг:
Цена: 15855.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Part I: Characteristics and Estimation of Software Projects for Distributed Computing

Автор: Albert
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 3319395696 ISBN-13(EAN): 9783319395692
Издательство: Springer
Рейтинг:
Цена: 7806.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
Рейтинг:
Цена: 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.