Search results

Jump to: navigation, search
  • ...ystems, Special Issue on Formal Techniques for Embedded Systems Design and Validation]] ||40
    24 KB (2,633 words) - 18:53, 15 October 2020
  • Validation systems Diagnosis assistance systems; Test systems; Validation systems;
    10 KB (1,210 words) - 20:17, 22 November 2020
  • and testing; Validation and verification of regression in small data
    9 KB (1,239 words) - 14:37, 29 December 2020
  • Software testing and validation validation; Discovering vulnerabilities; Defects localization; Defects
    12 KB (1,505 words) - 20:38, 22 November 2020
  • ...OUD/GRID fora, standards, development, evolution; CLOUD/GRID case studies, validation testbeds, prototypes, and lessons learned
    13 KB (1,574 words) - 12:11, 24 November 2020
  • ...net; System measurement and monitoring; Performance model verification and validation; Stochastic modeling (queues, Petri nets, etc.); Statistical performance; ...for trust management; Formalisms for trust specification, verification and validation; Logics for the analysis of trust and for reasoning about trust; Legal fram
    17 KB (2,035 words) - 14:45, 18 February 2021
  • validation design of security and dependability: security and trust security enforcement and validation; Future cross-Internet computing;
    13 KB (1,607 words) - 19:32, 30 November 2020
  • ...echanisms; Stability and convergence; Optimal (self-) adaptation; Accuracy validation of (self-) adaptation; Verification; Testing real-time (self-) adaptive per
    8 KB (931 words) - 15:28, 29 December 2020
  • ...networks; GRID fora, standards, development, evolution; GRID case studies, validation testbeds, prototypes, and lessons learned
    8 KB (964 words) - 18:54, 8 December 2020
  • ...atterns languages/models pitfalls; Pattern specification/modeling; Pattern validation; Pattern composition; Pattern reuse; Testing in pattern-based designed syst
    8 KB (942 words) - 18:55, 8 December 2020
  • ...sive services; Risk management in services management; Service testing and validation; Service consumption and delivery outcome; Quality of service; Quality of e Empirical evaluations; method and model validation based on empirical trials; case studies; experiments; guidelines and best p
    10 KB (1,221 words) - 18:57, 8 December 2020
  • validation and verification mechanisms; Efficient data integration and
    19 KB (2,346 words) - 10:51, 9 December 2020
  • Model verification and validation; Fault-tolerant systems; Simulation, measurement and monitoring; Model verification and validation,
    9 KB (1,079 words) - 11:12, 9 December 2020
  • Software tools, Programming, Simulation, Verification, Validation
    5 KB (640 words) - 21:39, 17 December 2020
  • #Validation
    1 KB (142 words) - 12:13, 22 December 2020
  • ...Deep Web and Small data sets; Small datasets for benchmarking and testing; Validation and verification of regression in small data sets; Small data toolkits; Dat
    9 KB (1,229 words) - 03:37, 3 December 2021
  • *Verification & Validation approaches
    6 KB (804 words) - 11:42, 28 January 2021
  • *Modeling, Simulation and Validation
    3 KB (381 words) - 11:35, 4 February 2021
  • *Calibration and Validation of Satellite Imagery
    1 KB (164 words) - 13:23, 8 February 2021
  • ...OUD/GRID fora, standards, development, evolution; CLOUD/GRID case studies, validation testbeds, prototypes, and lessons learned
    13 KB (1,653 words) - 14:44, 10 February 2021

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)