Search results

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

• ICKE 2009
  * Validation and verification
  11 KB (1,563 words) - 06:56, 12 April 2012
• IISWC 2009
  - Validation of benchmarks
  4 KB (589 words) - 17:08, 27 February 2009
• CORCS 2009
  - formal techniques for verification and validation of component =20
  4 KB (504 words) - 16:43, 27 December 2015
• GRAPP
  - Model Validation
  4 KB (532 words) - 18:46, 7 January 2010
• VISAPP 2010
  - Model Acquisition and Validation
  5 KB (595 words) - 11:32, 21 February 2020
• AOSE09
  * Verification and validation techniques for agent-based systems;
  8 KB (1,153 words) - 22:41, 23 March 2009
• ESWC 2021
  *Validation technologies: ShEx, SHACL, etc. *Applications of validation languages: summarizing, transformation, subsetting, form generation, etc.
  5 KB (607 words) - 19:34, 22 March 2021
• IdSpace
  To move the discussion on the validation and dissemination of useful methods and tools for innovative design a step
  6 KB (912 words) - 23:19, 4 June 2009
• IEEE Systems 2010
  * Systems Verification and Validation
  6 KB (706 words) - 11:33, 2 August 2009
• DERIS 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) - 11:33, 2 August 2009
• 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

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