Search results

Jump to: navigation, search
  • ** Verification and validation ** Verification and validation
    6 KB (777 words) - 21:54, 14 August 2008
  • * verification and validation for GDRE
    4 KB (471 words) - 22:33, 13 August 2008
  • * Validation & verification
    4 KB (564 words) - 11:33, 8 December 2020
  • * Abstraction techniques for modeling and validation;
    4 KB (543 words) - 15:39, 16 July 2020
  • * Web application evaluation, verification and validation
    6 KB (871 words) - 04:51, 26 August 2008
  • specification, design, verification, validation, testing, maintenance,
    5 KB (715 words) - 16:43, 11 September 2008
  • and validation techniques/tools, and multi-agent programming
    10 KB (1,371 words) - 15:14, 12 November 2020
  • Internet security enforcement and validation
    11 KB (1,385 words) - 16:48, 14 October 2008
  • Design, development, and validation of tools for incident detection and decision support became crucial for sec Verification and validation (including model checking) of dependable software architectures
    7 KB (960 words) - 16:48, 14 October 2008
  • As a particular case, design, development, and validation of tools for incident detection and decision support became crucial for sec
    15 KB (2,175 words) - 20:03, 19 March 2013
  • ...alytic modeling, system measurement and monitoring, model verification and validation, simulation, statistical analysis, experimental design, and reliability ana
    3 KB (361 words) - 20:16, 14 October 2008
  • ...present a substantial and rigorously executed piece of research including validation of results.
    4 KB (575 words) - 13:56, 27 December 2015
  • * Clinical applications, validation and evaluation studies
    6 KB (732 words) - 21:45, 14 October 2008
  • - Reliability: verification and validation; model checking; =
    9 KB (1,193 words) - 21:53, 14 October 2008
  • - Translation validation
    5 KB (799 words) - 20:49, 26 February 2020
  • Methods for knowledge validation
    5 KB (710 words) - 22:05, 14 October 2008
  • Documentation and Validation issues
    16 KB (2,200 words) - 19:51, 18 February 2021
  • validation) and best practices
    5 KB (732 words) - 22:08, 14 October 2008
  • of MWE feasible, or will manual validation/intervention always be
    6 KB (814 words) - 22:08, 14 October 2008
  • ...re of the software, the elicitation, analysis, negotiation, specification, validation and management of requirements
    7 KB (972 words) - 21:56, 4 February 2009
  • ...posing special challenges with respect to data modelling, -integration and validation. Further, as a result of shorter innovation cycles and a focus on customize
    6 KB (863 words) - 22:09, 14 October 2008
  • validation of models using ontologies; application of Description Logics reasoning to automatically generate model transformations; validation of
    8 KB (994 words) - 22:09, 14 October 2008
  • validation, code-generation, test-driven development, transformations). * validation, verification, and testing,
    5 KB (746 words) - 22:09, 14 October 2008
  • ...imulation and analysis. Virtual Prototypes enable early stage planning and validation resulting in a drastic reduction of development times, costs, and risks. Th
    4 KB (512 words) - 15:46, 16 December 2020
  • ...le = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
    618 bytes (69 words) - 16:06, 24 February 2016
  • · Workflow verification and validation in grid environments
    7 KB (886 words) - 22:10, 14 October 2008
  • * Validation and Verification of data and knowledge base designs
    2 KB (271 words) - 22:10, 14 October 2008
  • * Workflow verification and validation
    4 KB (560 words) - 22:10, 14 October 2008
  • * Validation of Simulation Models with Measurements
    2 KB (212 words) - 22:11, 14 October 2008
  • * Technologies for Web Services Assessment (i.e., validation &
    8 KB (1,158 words) - 22:14, 14 October 2008
  • * Evaluation and Validation tools and techniques for Wiki and Blogging tools;
    3 KB (414 words) - 22:14, 14 October 2008
  • ...not require a full-length paper, such as negative results or experimental validation
    6 KB (869 words) - 22:14, 14 October 2008
  • ...l methods and declarative technologies for specification, verification and validation of MAS * Validation of simulation systems
    6 KB (659 words) - 16:41, 11 February 2021
  • * Enterprise reference models and their verification, validation, and accreditation
    8 KB (1,024 words) - 16:57, 8 November 2008
  • * Testing, Verification and Validation
    8 KB (1,104 words) - 22:18, 14 October 2008
  • * Verification and validation of resilient systems
    9 KB (1,264 words) - 17:14, 8 November 2008
  • ...software engineering goals and should include a clear presentation of the validation methodology used. Experience reports must offer novel lessons learned that
    7 KB (892 words) - 08:16, 8 July 2020
  • * Validation and Verification
    6 KB (733 words) - 11:48, 27 October 2016
  • * test and validation of programs,
    6 KB (659 words) - 22:18, 14 October 2008
  • ...rately. Is it cost efficient to use a qualified code generator or to run a validation test suite on the target? The Auto-coding also enables the automatic tracea Models for verification/validation
    18 KB (2,714 words) - 22:23, 14 October 2008
  • - Specification, Validation and Verification of Embedded System and Software
    6 KB (697 words) - 22:19, 14 October 2008
  • # Requirements collection strategies and validation
    3 KB (337 words) - 22:20, 14 October 2008
  • * Techniques for validation of learned models and/or assessing the confidence of inferred results
    6 KB (837 words) - 22:21, 14 October 2008
  • * Validation and Verification of Functional Programs
    5 KB (636 words) - 22:22, 14 October 2008
  • * formal techniques for verification and validation of
    2 KB (254 words) - 22:22, 14 October 2008
  • - Performance validation
    3 KB (330 words) - 22:05, 4 February 2009
  • ...and verification strategies (e.g. stylized facts, statistical signatures, validation with stakeholders, etc.) - Methodological and epistemological roles of �??empirical validation�?? in simulation
    4 KB (523 words) - 22:23, 14 October 2008
  • - Model Acquisition and Validation
    6 KB (872 words) - 10:31, 21 February 2020
  • - Model Acquisition and Validation
    4 KB (568 words) - 10:31, 21 February 2020
  • Validation and verification of safety requirements for complex systems containing hard Validation systems
    11 KB (1,492 words) - 22:26, 14 October 2008
  • - Model analysis, verification and validation.
    6 KB (746 words) - 22:26, 14 October 2008
  • Validation and verification of safety requirements for complex systems containing hard Validation systems
    6 KB (765 words) - 22:26, 14 October 2008
  • ...rs are solicited on theory, techniques, systems, and tools for the design, validation, operation and evaluation of dependable computing systems. All kinds of fau * Hardware and software testing, verification, and validation.
    4 KB (528 words) - 22:27, 14 October 2008
  • - Model Validation
    4 KB (506 words) - 22:27, 14 October 2008
  • validation of embedded software are also covered by this workshop, because
    6 KB (773 words) - 22:29, 14 October 2008
  • modeling and formal methods; composition of validation and
    6 KB (707 words) - 22:29, 14 October 2008
  • ...ystems, Special Issue on Formal Techniques for Embedded Systems Design and Validation
    4 KB (456 words) - 22:30, 14 October 2008
  • 14) Validation, verification, and debugging techniques for embedded softwar\ 2) Modeling and validation
    11 KB (1,352 words) - 23:33, 14 October 2008
  • validation, meeting performance goals and resource constraints, o Validation and verification, system integration and testing
    5 KB (673 words) - 22:30, 14 October 2008
  • analysis; validation techniques.
    7 KB (870 words) - 22:30, 14 October 2008
  • 4. Validation and verification of embedded systems
    5 KB (655 words) - 22:30, 14 October 2008
  • o Scientific workflow modeling, verification, and validation
    6 KB (750 words) - 22:31, 14 October 2008
  • ...pment of high integrity applications, specification, design, verification, validation, testing, maintenance, system of systems, etc.
    3 KB (377 words) - 22:31, 14 October 2008
  • * Analysis, testing, and validation
    8 KB (1,079 words) - 22:32, 14 October 2008
  • industrial experience or on the validation of prototype
    9 KB (1,134 words) - 00:18, 1 February 2009
  • | Title = IVTs 13th Annual International Validation Week
    523 bytes (57 words) - 22:35, 14 October 2008
  • validation of computer systems (including case studies)
    6 KB (682 words) - 09:18, 14 April 2020
  • �?� Modeling and validation of sensor network architectures
    11 KB (1,533 words) - 22:38, 14 October 2008
  • C5. Phase Unwrapping and DEM Validation
    2 KB (307 words) - 22:39, 14 October 2008
  • | Title = Critical Cleaning Validation for Pharmaceuticals & Biotech
    501 bytes (54 words) - 22:39, 14 October 2008
  • ...tools, and models for high assurance systems development, verification and validation, and assessment are welcome. * Formal specification, specification validation, testing, and model checking for high assurance systems
    6 KB (748 words) - 13:43, 27 December 2015
  • ...gn, modelling, design, development, testing, measurement, verification and validation for performance, safety, security, and dependability constraints. Effective
    2 KB (249 words) - 22:44, 14 October 2008
  • ...as worked in Ansaldo STS as a Software/RAMS Engineer in the Verification & Validation unit, specializing in model-based dependability evaluation and testing of r
    1 KB (186 words) - 16:22, 5 February 2009
  • ** Validation
    5 KB (680 words) - 22:55, 27 February 2020
  • ...cheduling and schedulability analysis; worst-case execution time analysis; validation techniques.
    5 KB (720 words) - 13:46, 17 January 2009
  • ...ues; integration of AI with other technologies; development methodologies; validation and verification; lessons learned; social and other technology transition i
    11 KB (1,724 words) - 11:55, 18 January 2009
  • Embedded Systems: Design and Validation of Embedded Systems; Real-Time Issues; Models of Embedded Computation; Desi
    3 KB (337 words) - 11:59, 18 January 2009
  • new integration challenges for tasks such as interpretation, validation and
    4 KB (475 words) - 12:00, 18 January 2009
  • - DTD-based XML Schema Validation in Distributed Environments - XMLSchema-based XML Schema Validation in Distributed Environments
    7 KB (1,030 words) - 12:00, 18 January 2009
  • Calibration and validation of remotely sensed data
    7 KB (968 words) - 12:01, 18 January 2009
  • ...research approach, and solution papers are further to include preliminary validation.
    6 KB (857 words) - 12:01, 18 January 2009
  • Particular attention will be reserved to independent validation of previous studies and to papers that ensure reproducibility of the result * Techniques for improving the repeatability of tests, benchmarks, and validation studies
    5 KB (431 words) - 12:03, 18 January 2009
  • artifacts may be used for creation and validation of the . Domain engineering techniques in support of reuse, validation, and
    8 KB (1,069 words) - 12:22, 28 January 2009
  • * Quality and validation of test models
    5 KB (693 words) - 00:41, 14 April 2011
  • ..., component based software engineering, software quality, verification and validation techniques and software project management,.
    1 KB (190 words) - 21:09, 27 February 2009
  • ..., component based software engineering, software quality, verification and validation techniques and software project management.
    2 KB (284 words) - 21:10, 27 February 2009
  • - Testing, Verification and Validation
    6 KB (654 words) - 16:06, 27 February 2009
  • * Verification and validation of interchanged rule bases in
    7 KB (883 words) - 16:06, 27 February 2009
  • Validation
    3 KB (319 words) - 16:07, 27 February 2009
  • Steel manufacturing production validation, steel production planning, abrasive surface modelling, surface grinding, p ...ssembly, integration and testing. Simulation in support of flight software validation, structural dynamics of Pylon Store Coupling, Flutter Prediction, volterra
    38 KB (4,832 words) - 16:07, 27 February 2009
  • * Validation and verification
    11 KB (1,563 words) - 05:56, 12 April 2012
  • - Validation of benchmarks
    4 KB (589 words) - 16:08, 27 February 2009
  • - formal techniques for verification and validation of component =20
    4 KB (504 words) - 15:43, 27 December 2015
  • - Model Validation
    4 KB (532 words) - 17:46, 7 January 2010
  • - Model Acquisition and Validation
    5 KB (595 words) - 10:32, 21 February 2020
  • * Verification and validation techniques for agent-based systems;
    8 KB (1,153 words) - 21:41, 23 March 2009
  • *Validation technologies: ShEx, SHACL, etc. *Applications of validation languages: summarizing, transformation, subsetting, form generation, etc.
    5 KB (607 words) - 18:34, 22 March 2021
  • To move the discussion on the validation and dissemination of useful methods and tools for innovative design a step
    6 KB (912 words) - 22:19, 4 June 2009
  • * Systems Verification and Validation
    6 KB (706 words) - 10:33, 2 August 2009
  • Evaluation, Verification, Validation and Refinement of Intelligent systems, have been an important issue from th Today, in fact, the classic approach to the Evaluation, Verification, Validation and Refinement have to be assessed from the new perspectives. The practical
    6 KB (864 words) - 10:33, 2 August 2009
  • verification and validation, code generation, test-driven development, * validation, verification, and testing,
    6 KB (870 words) - 10:34, 2 August 2009
  • ...existing solutions. A technical solution paper must include a preliminary validation of the proposed solution. Results must be stated clearly enough so that it
    5 KB (652 words) - 10:34, 2 August 2009
  • * Software Verification and Validation
    8 KB (1,112 words) - 10:35, 2 August 2009
  • + tools and techniques to accelerate the development and validation of earth system models by climate scientists;
    7 KB (992 words) - 10:44, 2 August 2009
  • new research challenges are encountered in areas such as verification, validation, meeting performance goals and resource constraints, creating and exploitin
    2 KB (257 words) - 10:36, 2 August 2009
  • * Tool support for service creation, validation and testing
    9 KB (1,206 words) - 10:40, 2 August 2009
  • - Experience in the production, validation and distribution of LR for less-resourced languages
    14 KB (1,872 words) - 18:26, 2 August 2009
  • Model Validation
    7 KB (882 words) - 10:36, 2 August 2009
  • • Simulation and Validation
    5 KB (605 words) - 14:11, 27 December 2015
  • Validation, quality assurance, evaluation of LRs
    6 KB (849 words) - 10:36, 2 August 2009
  • ...net; System measurement and monitoring; Performance model verification and validation; Stochastic modeling (queues, Petri nets, etc.); Statistical performance; P ...for trust management; Formalisms for trust specification, verification and validation; Logics for the analysis of trust and for reasoning about trust; Legal fram
    14 KB (1,651 words) - 14:56, 15 February 2017
  • static and dynamic analysis, validation and verification
    4 KB (583 words) - 11:17, 25 November 2009
  • ...Per-formance, scalability, robustness, and dependability. Verification and validation. E-business agents. Pervasive computing. Privacy, safety, and security.
    6 KB (733 words) - 17:19, 24 September 2020
  • * › Security Verification and Validation
    4 KB (409 words) - 14:40, 5 February 2010
  • analysis, validation and verification, SDL, AADL, OCL, XMI and
    8 KB (1,113 words) - 16:01, 22 February 2010
  • ...ations of formal methods in industrial and research settings, experimental validation of tools and methods as well as construction and evolution of formal method ...cking, integration of tools, environments for formal methods, experimental validation of tools. Authors are encouraged to demonstrate empirically that the new to
    7 KB (993 words) - 13:55, 27 December 2015
  • ...to the state of practice in the design, implementation, verification, and validation of embedded systems and time-sensitive systems (of any size). The scope of
    2 KB (312 words) - 09:13, 8 October 2020
  • |Title=International Conference on Software Testing, Verification and Validation
    133 bytes (17 words) - 20:54, 26 February 2020
  • |Title=International Conference on Software Testing, Verification and Validation
    228 bytes (26 words) - 16:00, 27 February 2020
  • Validation of existing simulation models, and results
    4 KB (518 words) - 19:52, 10 September 2010
  • ...rages presentations of practical papers on industrial experience or on the validation of prototype implementations.
    6 KB (806 words) - 13:48, 16 November 2010
  • ** Data ownership, provenance, validation, truth assessment, and linking
    3 KB (325 words) - 10:09, 3 December 2020
  • * Design and Validation of Embedded Systems * Human-computer studies and validation of interaction
    12 KB (1,378 words) - 20:13, 28 November 2010
  • * Requirements elicitation, analysis, documentation, validation and verification * Requirements elicitation, analysis, documentation, validation and verification
    7 KB (895 words) - 18:51, 24 June 2016
  • * System Validation
    8 KB (678 words) - 08:03, 2 January 2011
  • * Network Protocol Verification and Validation
    3 KB (322 words) - 04:59, 8 March 2011
  • * Enterprise reference models and their verification, validation, and accreditation
    8 KB (1,135 words) - 20:41, 11 March 2011
  • ...partial) verification of communication and software systems as well as the validation of their models. Testing, if done right, is known to be a laborious and ver
    6 KB (822 words) - 13:44, 18 March 2011
  • This workshop will focus on the formal validation of both, new or already existing security and
    7 KB (1,019 words) - 17:29, 8 April 2011
  • * Model Validation
    6 KB (725 words) - 10:44, 1 July 2011
  • Simulation verification, validation, accreditation, and analysis: benchmark models, simulation-based verificati
    6 KB (809 words) - 15:26, 28 September 2011
  • ...ive software engineering || Mobile applications || Scientific computing || Validation and verification
    6 KB (738 words) - 10:21, 6 July 2020
  • ...tion, and also include a justification about the choice/suitability of the validation method. In addition, evidence of use in practice and/or demonstration of sc
    7 KB (991 words) - 10:15, 12 July 2019
  • Model Validation
    6 KB (726 words) - 15:22, 19 June 2012
  • Model-Based Testing and Validation
    8 KB (1,165 words) - 16:11, 18 July 2012
  • * Knowledge verification/validation
    3 KB (408 words) - 10:39, 5 January 2013
  • • Model-Based Testing and Validation
    3 KB (407 words) - 17:21, 10 April 2013
  • * Playful Validation of Automatically Extracted Data - [[has author::Francis Dierick]], [[has au
    3 KB (385 words) - 15:41, 12 September 2008
  • ...main evaluation criteria here will be originality, technical soundness and validation.
    8 KB (1,067 words) - 11:26, 7 July 2018
  • |Title=HLDVT 2016 : IEEE International High-Level Design Validation and Test Workshop |Field=validation, verification, debug, test
    402 bytes (51 words) - 15:17, 8 July 2016
  • Statistical validation of discovered patterns Empirical comparisons between between different statistical validation methods and possibly other goodness measures
    4 KB (587 words) - 05:08, 20 September 2016
  • |Field=software testing, industry collaboration, verification and validation, software quality
    484 bytes (58 words) - 14:35, 27 August 2016
  • |Field=resilience, validation, testing
    426 bytes (50 words) - 14:09, 17 August 2016
  • Usability, validation and visualization of language data
    6 KB (847 words) - 14:02, 8 December 2016
  • ...nal Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
    417 bytes (51 words) - 12:47, 25 September 2016
  • |Field=software testing, verification and validation, extra-functional properties, software quality
    509 bytes (61 words) - 12:48, 25 September 2016
  • ** Mobile system validation and test automation ** Big data quality validation
    18 KB (2,288 words) - 11:48, 27 October 2016
  • Knowledge graph validation. Given a statement about an entity, e.g., the CEO of a company, participant
    10 KB (1,424 words) - 08:54, 6 March 2020
  • *Evaluation and Validation of WIMS Technologies and Applications
    1 KB (195 words) - 17:20, 9 January 2018
  • *Evaluation and Validation of WIMS Technologies and Applications *Evaluation and Validation Methodologies
    18 KB (2,394 words) - 15:28, 29 January 2018
  • Full papers: mature research work describing original research and its validation (10-12 pages including references)
    4 KB (561 words) - 09:32, 16 July 2017
  • Full papers: mature research work describing original research and its validation (6-8 pages, not including references)
    4 KB (590 words) - 09:52, 16 July 2017
  • * Validation, Verification and Testing for Software Security
    4 KB (562 words) - 11:05, 3 September 2017
  • Verification and Validation
    5 KB (673 words) - 08:53, 3 September 2017
  • • Drug discovery and validation
    3 KB (380 words) - 10:58, 8 August 2017
  • - Model-based Testing and Validation
    5 KB (669 words) - 11:30, 3 September 2017
  • Integrity and Constraint Management: verification, validation, consistent
    9 KB (1,118 words) - 12:41, 3 September 2017
  • attacks), validation, verification and certification of network
    4 KB (515 words) - 10:28, 6 November 2020
  • - System Verification and Validation
    8 KB (1,150 words) - 09:11, 7 August 2019
  • - Virtual reality datasets and validation
    3 KB (397 words) - 20:49, 6 July 2020
  • * Model validation and calibration techniques
    11 KB (1,364 words) - 12:23, 3 September 2017
  • Validation and quality assurance of LRs
    5 KB (676 words) - 01:52, 1 January 2018
  • ...discipline. Contributions should be supported by appropriate arguments and validation. Contributions that combine the development of conceptual and methodologica Software quality: (static or run-time) validation and verification of functional and non-functional software properties using
    2 KB (301 words) - 13:34, 4 June 2019
  • *Dynamic Enterprise Architecture Capabilities: conceptualization and validation
    7 KB (917 words) - 17:07, 17 March 2020
  • * Formal modelling, verification and validation * Probabilistic verification and validation
    5 KB (617 words) - 10:54, 19 June 2020
  • ...ms for efficient design of experiments, including dynamic verification and validation of models, and automatic simulation model generation and initialization.
    3 KB (457 words) - 07:25, 17 April 2020
  • • Knowledge verification and validation
    3 KB (277 words) - 14:47, 11 June 2020
  • * Knowledge verification and validation
    2 KB (204 words) - 10:36, 27 March 2020
  • *Network verification and validation
    2 KB (238 words) - 10:18, 6 April 2020
  • * Mobile system validation and test automation * Big data quality validation
    5 KB (608 words) - 12:03, 15 April 2020
  • ...OUD/GRID fora, standards, development, evolution; CLOUD/GRID case studies, validation testbeds, prototypes, and lessons learned
    14 KB (1,770 words) - 13:56, 19 April 2020
  • * formal modelling, verification and validation of critical systems, software and hardware * probabilistic verification and validation
    3 KB (419 words) - 09:51, 19 June 2020
  • * Mobile system validation and test automation * Big data quality validation
    4 KB (490 words) - 08:38, 23 April 2020
  • * Uncertainty, Validation and Risk Management
    2 KB (293 words) - 20:02, 13 May 2020
  • * - Simulation Verification and Validation
    5 KB (640 words) - 12:03, 5 May 2020
  • D3 System Simulation and Validation, Click here for details ...rest also include diagnosis, failure mode analysis, debug and post-silicon validation challenges, and test or fault injection methods addressing system security.
    12 KB (1,651 words) - 12:30, 27 November 2020
  • * Simulation and Validation
    4 KB (508 words) - 16:54, 6 January 2021
  • * Formal methods for verification, validation, and fault tolerance; * Probabilistic verification and validation;
    4 KB (475 words) - 09:23, 19 June 2020
  • * 1.4. System-level modeling, simulation and validation tools/methodology * 12. Testing, Validation, Simulation, and Verification:
    6 KB (739 words) - 14:08, 13 May 2020
  • * Post-processing including quality assessment and validation
    2 KB (261 words) - 19:06, 20 May 2020
  • ● Post-processing including quality assessment and validation
    2 KB (268 words) - 19:28, 20 May 2020
  • * Post-processing including quality assessment and validation
    2 KB (272 words) - 20:17, 20 May 2020
  • * Model development & validation
    2 KB (304 words) - 11:08, 4 August 2023
  • ...net; System measurement and monitoring; Performance model verification and validation; Stochastic modeling (queues, Petri nets, etc.); Statistical performance; P ...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,088 words) - 11:49, 14 June 2020
  • * Formal methods for verification, validation, and fault tolerance * Probabilistic verification and validation
    4 KB (457 words) - 10:48, 17 June 2020
  • * M03 Test range modelling and validation
    6 KB (885 words) - 11:35, 22 June 2020
  • * Test range modelling and validation
    3 KB (415 words) - 10:16, 23 June 2020
  • * • Computer modelling, simulation and validation
    933 bytes (102 words) - 18:21, 26 June 2020
  • Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks
    13 KB (1,636 words) - 10:51, 10 July 2020
  • * Testing, verification, and validation
    5 KB (557 words) - 06:07, 13 July 2020
  • ...pplied cryptography, cryptographic protocols and functions; Specification, validation design of security and dependability: security and trust models, semantics ...net cross-layer design and optimization; Internet security enforcement and validation; Future cross-Internet computing; Configurable Internet protocols; Internet
    13 KB (1,550 words) - 01:20, 10 July 2020
  • ...eractive design; Formal methods for software development, verification and validation; Neural networks and performance; Patterns/Anti-patterns/Artifacts/Framewor
    18 KB (2,036 words) - 01:36, 10 July 2020
  • D7 Product Validation, Data Fusion and Value Adding
    2 KB (323 words) - 10:18, 10 July 2020
  • ...O, MDA, SOA, patterns, UML, etc.); Software process and workflow; Software validation and verification; Software testing and testing tools; Software implementati
    13 KB (1,573 words) - 11:00, 10 July 2020
  • ...isimulation with multiresolution, multistage multimodels; Verification and validation of simulation models; Simulation metamodels; Executable simulation models; ...on simulation; Real-time decision making simulation; e-Polling simulation; Validation of simulated real-world; Simulation to predict market behavior; Predictions
    12 KB (1,421 words) - 11:02, 10 July 2020
  • * •System measurements, performance evaluation, test and validation''
    2 KB (245 words) - 14:43, 20 August 2020
  • * System measurements, performance evaluation, test and validation
    2 KB (279 words) - 13:37, 10 July 2020
  • ...operation; Platform modelling and analysis tools; Analytical, mobility and validation models; System debugging and testing
    15 KB (1,880 words) - 13:45, 27 August 2020
  • Metrics for Sustainability and their Validation
    6 KB (815 words) - 19:27, 30 July 2020
  • ...Data systems for the future Earth observation satellites; Calibration and validation of remotely sensed data; Earth observation sensor networks and applications
    11 KB (1,423 words) - 13:47, 27 August 2020
  • ...ystems, Special Issue on Formal Techniques for Embedded Systems Design and Validation]] ||40
    24 KB (2,633 words) - 17:53, 15 October 2020
  • Validation systems Diagnosis assistance systems; Test systems; Validation systems;
    10 KB (1,210 words) - 19:17, 22 November 2020
  • and testing; Validation and verification of regression in small data
    9 KB (1,239 words) - 13:37, 29 December 2020
  • Software testing and validation validation; Discovering vulnerabilities; Defects localization; Defects
    12 KB (1,505 words) - 19: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) - 11: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) - 13: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) - 18: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) - 14:28, 29 December 2020
  • ...networks; GRID fora, standards, development, evolution; GRID case studies, validation testbeds, prototypes, and lessons learned
    8 KB (964 words) - 17: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) - 17: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) - 17:57, 8 December 2020
  • validation and verification mechanisms; Efficient data integration and
    19 KB (2,346 words) - 09:51, 9 December 2020
  • Model verification and validation; Fault-tolerant systems; Simulation, measurement and monitoring; Model verification and validation,
    9 KB (1,079 words) - 10:12, 9 December 2020
  • Software tools, Programming, Simulation, Verification, Validation
    5 KB (640 words) - 20:39, 17 December 2020
  • #Validation
    1 KB (142 words) - 11: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) - 02:37, 3 December 2021
  • *Verification & Validation approaches
    6 KB (804 words) - 10:42, 28 January 2021
  • *Modeling, Simulation and Validation
    3 KB (381 words) - 10:35, 4 February 2021
  • *Calibration and Validation of Satellite Imagery
    1 KB (164 words) - 12: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) - 13:44, 10 February 2021
  • ...OUD/GRID fora, standards, development, evolution; CLOUD/GRID case studies, validation testbeds, prototypes, and lessons learned
    14 KB (1,718 words) - 10:30, 3 March 2021
  • Verification, validation, and testing
    2 KB (273 words) - 03:32, 17 March 2021
  • ...Engineering; Search-based Software Engineering; Testing, Verification, and Validation; Web-based Software Engineering etc.
    1 KB (163 words) - 08:08, 26 March 2021
  • ...based sensor networking for homeland security; Real-time intelligence data validation and verification mechanisms; Efficient data integration and mining techniqu
    19 KB (2,317 words) - 01:40, 26 November 2021
  • ...ety data, and mitigation and prevention strategies; Model verification and validation; Fault-tolerant systems; Simulation, statistical analysis, and experimental ...alytic modeling; System measurement and monitoring; Model verification and validation, simulation, statistical analysis; Experimental design, and reliability ana
    9 KB (1,086 words) - 01:44, 26 November 2021
  • Validation systems Diagnosis assistance systems; Test systems; Validation systems; Performance measurement systems; Maintenance systems
    10 KB (1,228 words) - 01:46, 26 November 2021
  • Software testing and validation ...nce; Automatic testing methodologies; Software testing certification; Code validation; Metrics for software quality prediction
    13 KB (1,522 words) - 02:32, 3 December 2021