Search alternatives:
certified distributed » modified distributed, gamified distributed, qualified distributed
from certified » from fortified, from stratified, from identified
Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Model -- Distributed Randomized Broadcasting in Wireless Networks under the SINR Model -- Asynchronous...”
Cover Image
Read Now

2
by Markelov, Andrey
Published 2022
Apress
Table of Contents: “...Chapter 1. Getting Started with Certified OpenStack -- Chapter 2. How to Build Your Own Virtual...”
Cover Image
Read Now

3
by Mallett, Andrew
Published 2021
Apress
“.... The book uses CentOS, a Red Hat-based distribution, and Ubuntu instead of using a single Red Hat...”
Cover Image
Read Now

4
Published 2016
Springer International Publishing
Table of Contents: “...-Downgrade -- A Framework for Certified Self-Stabilization -- Developing Honest Java Programs with Diogenes...”
Cover Image
Read Now

5
Published 2019
Springer International Publishing
Table of Contents: “... Safety Verification for Distributed Cyber-Physical Systems -- On Certifying Distributed...”
Cover Image
Read Now

6
by Sanghera, Paul
Published 2006
Apress
“... the topics included in the Sun Certified Programmer for Java 5 exam (CX 310-055). With a laser sharp focus...”
Cover Image
Read Now

7
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...-Based Authenticated Key Agreement Protocol from Pairings -- Encryption Based on Reversible Second-Order...”
Cover Image
Read Now

8
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...On Model Checking Techniques for Randomized Distributed Systems -- Collaborative Modelling and Co...”
Cover Image
Read Now

9
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Schemes from Asiacrypt 2003 -- On the Security of a Group Signcryption Scheme from Distributed...”
Cover Image
Read Now

10
Published 2021
Springer International Publishing
Table of Contents: “... Checking and Machine Learning Joining Forces in Uppaal -- Databases and Distributed Transactions Some...”
Cover Image
Read Now

11
Published 2023
Birkhäuser
Table of Contents: “... in large scale cyber-physical systems through distributed computation (Prandini) -- Platoon coordination...”
Cover Image
Read Now

12
Published 2022
Springer International Publishing
Table of Contents: “... of Azithromycin Composition Using Spectral Methods -- Application of Certified Reference Materials of Absorbed...”
Cover Image
Read Now

13
Published 2019
Springer International Publishing
Table of Contents: “... Moves: a Certified Approach for Mobile Robots on Graphs -- Distributed Systems -- Self-Stabilizing...”
Cover Image
Read Now

14
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... from JMS Applications -- Certifying and Reasoning on Cost Annotations in C Programs.-  Waiting...”
Cover Image
Read Now

15
Published 2018
Springer International Publishing
Table of Contents: “... management with a highly-available Kanban board -- A Case for Certifying Compilers in Industrial Automation...”
Cover Image
Read Now

16
Published 2021
Springer International Publishing
Table of Contents: “... in infinite-state systems -- A Self-Certifying Compilation Framework for WebAssembly -- Concurrent...”
Cover Image
Read Now

17
Published 2014
Springer International Publishing
Table of Contents: “... Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management...”
Cover Image
Read Now

18
Published 2016
Springer New York
Table of Contents: “...From the contents: Abelian Hidden Subgroup Problem -- Abstract Voronoi Diagrams -- Active Learning...”
Cover Image
Read Now

19
by Schroeder, M.R.
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...The Natural Numbers -- Primes -- The Prime Distribution -- Fractions: Continued, Egyptian and Farey...”
Cover Image
Read Now

20
Published 2015
Springer Japan
Table of Contents: “... (Tsuboi, H) -- Chapter 5　Yogurt for the Poor: Grameen Danone Foods (Tsuboi, H) -- Chapter 6  Distributing...”