1
Published 2010
Springer Berlin Heidelberg
... and were validated by the BEinGRID consortium in real-life business trials covering most European market...

2
Published 2022
Springer International Publishing
Table of Contents: ... in Pakistan -- Investigating the Validity of Botometer-based Social Bot Studies -- New Automation for Social...

3
by Hong, Dongwoo, Cheng, Kwang-Ting
Published 2010
Springer Netherlands
... as experimental results are presented to demonstrate the validity of the presented techniques...

4
Published 2019
Springer International Publishing
Table of Contents: ...Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation...

5
Published 2022
Springer Nature Switzerland
Table of Contents: ... -- Differential Cryptanalysis of Lightweight Block Ciphers SLIM and LCB -- Parallel Validity Analysis...

6
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Language for System Architecture Description -- Test and Validation -- UCM-Driven Testing of Web...

7
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... the Reactive Event Calculus -- RESTful Petri Net Execution -- Validation and Discovery of Non-deterministic...

8
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... Organizations for Dependable Systems -- Verification and Validation -- Empirical Assessment of Software On-Line...

9
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... 6: Case Studies and Experiences -- Validity of the Documentation Availability Model: Experimental...

10
by Nance, Richard E., Arthur, James D.
Published 2002
Springer London
Table of Contents: ... and Quality Measurement -- 8.4 The Quality Database and Validity of Indicators -- 9. Software Quality: Views...

11
Published 2021
Springer International Publishing
Table of Contents: ... -- Machine Learning-based Fault Injection for Hazard Analysis and Risk Assessment -- Safety Validation...

12
Published 2006
Springer US
Table of Contents: ... by Evolutionary Algorithms -- Validation of Asynchronous Circuit Specifications Using IF/CADP -- On-Chip Property...

13
Published 1993
Springer Vienna
Table of Contents: ... Snapshots Algorithm and its Application to Protocol Stabilization -- Protocol Validation Tool and Its...

14
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Modelling Formalism -- Validation of GSPN and SWN Models through the PROD Tool -- Software Performance...

15
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... XML Keyword Search through Valid Lowest Information Unit -- Reducing Redundancy of XPath Query over...

16
Published 2023
Springer Nature Switzerland
Table of Contents: ... -- Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative Models...

17
Published 2020
Springer International Publishing
Table of Contents: ... and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA...

18
Published 2024
Springer Nature Switzerland
Table of Contents: ... requirements elicitation and documentation in agile software development: A case study. -- Validation...

19
Published 2010
Springer Berlin Heidelberg
Table of Contents: ...: Qualitative Validation of an Informal Learning Support System Consisting of a Knowledge Discovery and a Social...

20
Published 2019
Springer International Publishing
Table of Contents: ... of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process...