Search results

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

• IFAC/IFIP EI2N 2008
  * Enterprise reference models and their verification, validation, and accreditation
  8 KB (1,024 words) - 17:57, 8 November 2008
• IET SPR - BIOID 2008
  o Speaker identification/verification
  4 KB (526 words) - 23:17, 14 October 2008
• IDEAS 2009
  * Testing, Verification and Validation
  8 KB (1,104 words) - 23:18, 14 October 2008
• SERENE 2008
  * Verification and validation of resilient systems
  9 KB (1,264 words) - 18:14, 8 November 2008
• CBSE 2008
  ...bines elements of software architecture, modular software design, software verification, configuration and deployment. To foster exchange and collaboration with th ...oretical foundations of component specification, composition, analysis and verification continue to pose research challenges. While the engineering models and meth
  8 KB (1,033 words) - 23:18, 14 October 2008
• SEKE 2008
  * Validation and Verification
  6 KB (733 words) - 12:48, 27 October 2016
• SLA++P'08
  compilation, formal analysis and verification techniques, and * formal specification and verification,
  6 KB (659 words) - 23:18, 14 October 2008
• ADCSS 2008
  ...system software co-engineering, up to operations, through development and verification. * Proving: formal verification or proof
  18 KB (2,714 words) - 23:23, 14 October 2008
• PAN 2008
  verification problems. In the authorship attribution problem, one is given verification problem, one is given examples of the writing of a single
  5 KB (587 words) - 23:19, 14 October 2008
• UASS 2009
  - Specification, Validation and Verification of Embedded System and Software
  6 KB (697 words) - 23:19, 14 October 2008
• SSIRI 2008
  # Software testing and verification
  3 KB (337 words) - 23:20, 14 October 2008
• UbiCC Sp. Issue 2009
  Component based software engineering &Software verification & analysis
  4 KB (502 words) - 23:20, 14 October 2008
• ICFHR 2008
  · Writer Verification and Identification
  3 KB (364 words) - 23:21, 14 October 2008
• VLSI-DAT 2009
  * Physical design and verification * Design verification
  2 KB (282 words) - 23:21, 14 October 2008
• TFP 2008
  * Validation and Verification of Functional Programs
  5 KB (636 words) - 23:22, 14 October 2008
• CORCS 2008
  * formal techniques for verification and validation of
  2 KB (254 words) - 23:22, 14 October 2008
• EPOS 2008
  - Validation and verification strategies (e.g. stylized facts, statistical signatures, validation with st
  4 KB (523 words) - 23:23, 14 October 2008
• FDL 2008
  | Title = Forum on Specification, Verification & Design Languages
  532 bytes (59 words) - 23:23, 14 October 2008
• LICS 2008
  ...out security, rewriting, specifications, type systems and type theory, and verification. We welcome submissions in emergent areas, such as bioinformatics and quant
  2 KB (285 words) - 15:11, 7 November 2016
• NEWCAS-TAISA 2009
  * Test and verification
  3 KB (377 words) - 23:24, 14 October 2008

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