Search results

Jump to: navigation, search

Create the page "Validation" on this wiki! See also the search results found.

  • OCL 2009
    verification and validation, code generation, test-driven development, * validation, verification, and testing,
    6 KB (870 words) - 11:34, 2 August 2009
  • RCIS 2010
    ...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) - 11:34, 2 August 2009
  • ASWEC 2010
    * Software Verification and Validation
    8 KB (1,112 words) - 11:35, 2 August 2009
  • WSRCC 2009
    + tools and techniques to accelerate the development and validation of earth system models by climate scientists;
    7 KB (992 words) - 11:44, 2 August 2009
  • LCTES 2010
    new research challenges are encountered in areas such as verification, validation, meeting performance goals and resource constraints, creating and exploitin
    2 KB (257 words) - 11:36, 2 August 2009
  • FITS 2009
    * Tool support for service creation, validation and testing
    9 KB (1,206 words) - 11:40, 2 August 2009
  • LRL 2009
    - Experience in the production, validation and distribution of LR for less-resourced languages
    14 KB (1,872 words) - 19:26, 2 August 2009
  • CGIM 2010
    Model Validation
    7 KB (882 words) - 11:36, 2 August 2009
  • DATE 2010
    • Simulation and Validation
    5 KB (605 words) - 15:11, 27 December 2015
  • LREC 2010
    • Validation, quality assurance, evaluation of LRs
    6 KB (849 words) - 11:36, 2 August 2009
  • ICIMP 2010
    ...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) - 15:56, 15 February 2017
  • QSIC 2010
    static and dynamic analysis, validation and verification
    4 KB (583 words) - 12:17, 25 November 2009
  • KES AMSTA 2010
    ...Per-formance, scalability, robustness, and dependability. Verification and validation. E-business agents. Pervasive computing. Privacy, safety, and security.
    6 KB (733 words) - 18:19, 24 September 2020
  • SECRYPT
    * › Security Verification and Validation
    4 KB (409 words) - 15:40, 5 February 2010
  • FDL 2010
    analysis, validation and verification, SDL, AADL, OCL, XMI and
    8 KB (1,113 words) - 17:01, 22 February 2010
  • FM 2011
    ...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) - 14:55, 27 December 2015
  • RTAS 2020
    ...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) - 10:13, 8 October 2020
  • ICST
    |Title=International Conference on Software Testing, Verification and Validation
    133 bytes (17 words) - 21:54, 26 February 2020
  • ICST 2020
    |Title=International Conference on Software Testing, Verification and Validation
    228 bytes (26 words) - 17:00, 27 February 2020
  • MWNTE 2011
    • Validation of existing simulation models, and results
    4 KB (518 words) - 20:52, 10 September 2010
  • BIS 2011
    ...rages presentations of practical papers on industrial experience or on the validation of prototype implementations.
    6 KB (806 words) - 14:48, 16 November 2010
  • VIVO 2019
    ** Data ownership, provenance, validation, truth assessment, and linking
    3 KB (325 words) - 11:09, 3 December 2020
  • MESA 2011
    * Design and Validation of Embedded Systems * Human-computer studies and validation of interaction
    12 KB (1,378 words) - 21:13, 28 November 2010
  • RE 2011
    * Requirements elicitation, analysis, documentation, validation and verification * Requirements elicitation, analysis, documentation, validation and verification
    7 KB (895 words) - 19:51, 24 June 2016
  • SXACEA 2011
    * System Validation
    8 KB (678 words) - 09:03, 2 January 2011
  • NCA 2011
    * Network Protocol Verification and Validation
    3 KB (322 words) - 05:59, 8 March 2011
  • EI2N 2011
    * Enterprise reference models and their verification, validation, and accreditation
    8 KB (1,135 words) - 21:41, 11 March 2011
  • ICTSS 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) - 14:44, 18 March 2011
  • RASEP 2011
    This workshop will focus on the formal validation of both, new or already existing security and
    7 KB (1,019 words) - 18:29, 8 April 2011
  • GRAPP 2012
    * Model Validation
    6 KB (725 words) - 11:44, 1 July 2011
  • SIMUTOOLS 2012
    Simulation verification, validation, accreditation, and analysis: benchmark models, simulation-based verificati
    6 KB (809 words) - 16:26, 28 September 2011
  • ESEC/FSE 2020
    ...ive software engineering || Mobile applications || Scientific computing || Validation and verification
    6 KB (738 words) - 11:21, 6 July 2020
  • ICWE 2019
    ...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) - 11:15, 12 July 2019
  • GRAPP 2013
    Model Validation
    6 KB (726 words) - 16:22, 19 June 2012
  • MODELSWARD
    Model-Based Testing and Validation
    8 KB (1,165 words) - 17:11, 18 July 2012
  • ACIS 2013
    * Knowledge verification/validation
    3 KB (408 words) - 11:39, 5 January 2013
  • MODELSWARD 2014
    • Model-Based Testing and Validation
    3 KB (407 words) - 18:21, 10 April 2013
  • WS: Semantic Web MuC 2008
    * Playful Validation of Automatically Extracted Data - [[has author::Francis Dierick]], [[has au
    3 KB (385 words) - 16:41, 12 September 2008
  • EKAW 2016
    ...main evaluation criteria here will be originality, technical soundness and validation.
    8 KB (1,067 words) - 12:26, 7 July 2018
  • HLDVT 2016
    |Title=HLDVT 2016 : IEEE International High-Level Design Validation and Test Workshop |Field=validation, verification, debug, test
    402 bytes (51 words) - 16:17, 8 July 2016
  • SSDM 2017
    Statistical validation of discovered patterns Empirical comparisons between between different statistical validation methods and possibly other goodness measures
    4 KB (587 words) - 06:08, 20 September 2016
  • TAIC PART 2017
    |Field=software testing, industry collaboration, verification and validation, software quality
    484 bytes (58 words) - 15:35, 27 August 2016
  • SafeConfig 2016
    |Field=resilience, validation, testing
    426 bytes (50 words) - 15:09, 17 August 2016
  • KDK 2017
    Usability, validation and visualization of language data
    6 KB (847 words) - 15:02, 8 December 2016
  • AMARETTO 2017
    ...nal Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
    417 bytes (51 words) - 13:47, 25 September 2016
  • ITEQS 2017
    |Field=software testing, verification and validation, extra-functional properties, software quality
    509 bytes (61 words) - 13:48, 25 September 2016
  • SEKE 2017
    ** Mobile system validation and test automation ** Big data quality validation
    18 KB (2,288 words) - 12:48, 27 October 2016
  • ISWC 2017
    Knowledge graph validation. Given a statement about an entity, e.g., the CEO of a company, participant
    10 KB (1,424 words) - 09:54, 6 March 2020
  • WIMS
    *Evaluation and Validation of WIMS Technologies and Applications
    1 KB (195 words) - 18:20, 9 January 2018
  • WIMS 2018
    *Evaluation and Validation of WIMS Technologies and Applications *Evaluation and Validation Methodologies
    18 KB (2,394 words) - 16:28, 29 January 2018
  • WINKS 2017
    Full papers: mature research work describing original research and its validation (10-12 pages including references)
    4 KB (561 words) - 10:32, 16 July 2017
  • SemDeep 2017
    Full papers: mature research work describing original research and its validation (6-8 pages, not including references)
    4 KB (590 words) - 10:52, 16 July 2017
  • ICSS 2017
    * Validation, Verification and Testing for Software Security
    4 KB (562 words) - 12:05, 3 September 2017
  • ICSESS 2017
    Verification and Validation
    5 KB (673 words) - 09:53, 3 September 2017
  • CSBio 2017
    • Drug discovery and validation
    3 KB (380 words) - 11:58, 8 August 2017
  • MODELSWARD 2018
    - Model-based Testing and Validation
    5 KB (669 words) - 12:30, 3 September 2017
  • FoIKS 2018
    Integrity and Constraint Management: verification, validation, consistent
    9 KB (1,118 words) - 13:41, 3 September 2017
  • COMNET SI SDN/NFV Security/Performance 2017 : Elsevier Computer Networks: Special Issue on Security and Performance of SDN/NFV
    attacks), validation, verification and certification of network
    4 KB (515 words) - 11:28, 6 November 2020
  • ISEC 2018
    - System Verification and Validation
    8 KB (1,150 words) - 10:11, 7 August 2019
  • (Book Chapter) 2018 : Call for IGI-Global Book Chapter Proposals: ‘‘Cases on Immersive Virtual Reality Techniques’’
    - Virtual reality datasets and validation
    3 KB (397 words) - 21:49, 6 July 2020
  • ICPE 2018
    * Model validation and calibration techniques
    11 KB (1,364 words) - 13:23, 3 September 2017
  • LREC 2018
    Validation and quality assurance of LRs
    5 KB (676 words) - 02:52, 1 January 2018
  • FASE 2019
    ...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) - 14:34, 4 June 2019
  • BIS 2019
    *Dynamic Enterprise Architecture Capabilities: conceptualization and validation
    7 KB (917 words) - 18:07, 17 March 2020
  • SafeComp 2020
    * Formal modelling, verification and validation * Probabilistic verification and validation
    5 KB (617 words) - 11:54, 19 June 2020
  • PADS 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) - 08:25, 17 April 2020
  • KSEM 2020
    • Knowledge verification and validation
    3 KB (277 words) - 15:47, 11 June 2020
  • KSEM 2018
    * Knowledge verification and validation
    2 KB (204 words) - 11:36, 27 March 2020
  • CoNEXT 2018
    *Network verification and validation
    2 KB (238 words) - 11:18, 6 April 2020
  • SEKE 2018
    * Mobile system validation and test automation * Big data quality validation
    5 KB (608 words) - 13:03, 15 April 2020
  • ICNS 2020
    ...OUD/GRID fora, standards, development, evolution; CLOUD/GRID case studies, validation testbeds, prototypes, and lessons learned
    14 KB (1,770 words) - 14:56, 19 April 2020
  • SafeComp 2019
    * formal modelling, verification and validation of critical systems, software and hardware * probabilistic verification and validation
    3 KB (419 words) - 10:51, 19 June 2020
  • SEKE 2016
    * Mobile system validation and test automation * Big data quality validation
    4 KB (490 words) - 09:38, 23 April 2020
  • SimAUD 2020
    * Uncertainty, Validation and Risk Management
    2 KB (293 words) - 21:02, 13 May 2020
  • SummerSim 2019
    * - Simulation Verification and Validation
    5 KB (640 words) - 13:03, 5 May 2020
  • DATE 2018
    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) - 13:30, 27 November 2020
  • DATE 2020
    * Simulation and Validation
    4 KB (508 words) - 17:54, 6 January 2021
  • SafeComp 2018
    * Formal methods for verification, validation, and fault tolerance; * Probabilistic verification and validation;
    4 KB (475 words) - 10:23, 19 June 2020
  • ASP-DAC 2020
    * 1.4. System-level modeling, simulation and validation tools/methodology * 12. Testing, Validation, Simulation, and Verification:
    6 KB (739 words) - 15:08, 13 May 2020
  • PAKDD 2020
    * Post-processing including quality assessment and validation
    2 KB (261 words) - 20:06, 20 May 2020
  • PAKDD 2019
    ● Post-processing including quality assessment and validation
    2 KB (268 words) - 20:28, 20 May 2020
  • PAKDD 2018
    * Post-processing including quality assessment and validation
    2 KB (272 words) - 21:17, 20 May 2020
  • QoMEX 2019
    * Model development & validation
    2 KB (304 words) - 12:08, 4 August 2023
  • ICIMP 2020
    ...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) - 12:49, 14 June 2020
  • SAFECOMP 2017
    * Formal methods for verification, validation, and fault tolerance * Probabilistic verification and validation
    4 KB (457 words) - 11:48, 17 June 2020
  • EuCAP 2019
    * M03 Test range modelling and validation
    6 KB (885 words) - 12:35, 22 June 2020
  • EuCAP 2018
    * Test range modelling and validation
    3 KB (415 words) - 11:16, 23 June 2020
  • RADAR 2019
    * • Computer modelling, simulation and validation
    933 bytes (102 words) - 19:21, 26 June 2020
  • ICSNC 2020
    Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks
    13 KB (1,636 words) - 11:51, 10 July 2020
  • ASE 2017
    * Testing, verification, and validation
    5 KB (557 words) - 07:07, 13 July 2020
  • INTERNET 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) - 02:20, 10 July 2020
  • ICCGI 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) - 02:36, 10 July 2020
  • EUSAR 2021
    D7 Product Validation, Data Fusion and Value Adding
    2 KB (323 words) - 11:18, 10 July 2020
  • ICSEA 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) - 12:00, 10 July 2020
  • SIMUL 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) - 12:02, 10 July 2020
  • ICMIM 2020
    * •System measurements, performance evaluation, test and validation''
    2 KB (245 words) - 15:43, 20 August 2020
  • ICMIM 2019
    * System measurements, performance evaluation, test and validation
    2 KB (279 words) - 14:37, 10 July 2020
  • SENSORCOMM 2020
    ...operation; Platform modelling and analysis tools; Analytical, mobility and validation models; System debugging and testing
    15 KB (1,880 words) - 14:45, 27 August 2020
  • GREEN 2020
    Metrics for Sustainability and their Validation
    6 KB (815 words) - 20:27, 30 July 2020
  • GEOProcessing 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) - 14:47, 27 August 2020

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

Retrieved from "https://www.openresearch.org/wiki/Special:Search"