Search results

Jump to: navigation, search

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

  • UASS 2009
    - Specification, Validation and Verification of Embedded System and Software
    6 KB (697 words) - 23:19, 14 October 2008
  • SSIRI 2008
    # Requirements collection strategies and validation
    3 KB (337 words) - 23:20, 14 October 2008
  • SysML 2008
    * Techniques for validation of learned models and/or assessing the confidence of inferred results
    6 KB (837 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
  • ISPASS 2008
    - Performance validation
    3 KB (330 words) - 23:05, 4 February 2009
  • EPOS 2008
    ...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) - 23:23, 14 October 2008
  • VISAPP 2009
    - Model Acquisition and Validation
    6 KB (872 words) - 11:31, 21 February 2020
  • VISAPP 2008
    - Model Acquisition and Validation
    4 KB (568 words) - 11:31, 21 February 2020
  • ICONS 2009
    Validation and verification of safety requirements for complex systems containing hard Validation systems
    11 KB (1,492 words) - 23:26, 14 October 2008
  • ACM SAC OE 2009
    - Model analysis, verification and validation.
    6 KB (746 words) - 23:26, 14 October 2008
  • ICONS 2008
    Validation and verification of safety requirements for complex systems containing hard Validation systems
    6 KB (765 words) - 23:26, 14 October 2008
  • EDCC 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) - 23:27, 14 October 2008
  • GRAPP 2008
    - Model Validation
    4 KB (506 words) - 23:27, 14 October 2008
  • SCOPES 2009
    validation of embedded software are also covered by this workshop, because
    6 KB (773 words) - 23:29, 14 October 2008
  • CRTS 2008
    modeling and formal methods; composition of validation and
    6 KB (707 words) - 23:29, 14 October 2008
  • EURASIP Journal on Embedded Systems 2009
    ...ystems, Special Issue on Formal Techniques for Embedded Systems Design and Validation
    4 KB (456 words) - 23:30, 14 October 2008
  • ESWEEK 2008
    14) Validation, verification, and debugging techniques for embedded softwar\ 2) Modeling and validation
    11 KB (1,352 words) - 00:33, 15 October 2008
  • LCTES 2008
    validation, meeting performance goals and resource constraints, o Validation and verification, system integration and testing
    5 KB (673 words) - 23:30, 14 October 2008
  • ECRTS 2008
    analysis; validation techniques.
    7 KB (870 words) - 23:30, 14 October 2008
  • DIPES 2008
    4. Validation and verification of embedded systems
    5 KB (655 words) - 23:30, 14 October 2008
  • SWF 2008
    o Scientific workflow modeling, verification, and validation
    6 KB (750 words) - 23:31, 14 October 2008
  • ISORC 2008
    ...pment of high integrity applications, specification, design, verification, validation, testing, maintenance, system of systems, etc.
    3 KB (377 words) - 23:31, 14 October 2008
  • SIGAda 2008
    * Analysis, testing, and validation
    8 KB (1,079 words) - 23:32, 14 October 2008
  • BIS 2009
    industrial experience or on the validation of prototype
    9 KB (1,134 words) - 01:18, 1 February 2009
  • IVW 2007
    | Title = IVTs 13th Annual International Validation Week
    523 bytes (57 words) - 23:35, 14 October 2008
  • SOFSEM 2009
    validation of computer systems (including case studies)
    6 KB (682 words) - 10:18, 14 April 2020
  • SN 2008
    �?� Modeling and validation of sensor network architectures
    11 KB (1,533 words) - 23:38, 14 October 2008
  • APSAR 2009
    C5. Phase Unwrapping and DEM Validation
    2 KB (307 words) - 23:39, 14 October 2008
  • CCVPB 2007
    | Title = Critical Cleaning Validation for Pharmaceuticals & Biotech
    501 bytes (54 words) - 23:39, 14 October 2008
  • HASE 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) - 14:43, 27 December 2015
  • COMPSAC 2008
    ...gn, modelling, design, development, testing, measurement, verification and validation for performance, safety, security, and dependability constraints. Effective
    2 KB (249 words) - 23:44, 14 October 2008
  • Francesco Flammini
    ...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) - 17:22, 5 February 2009
  • ICLP 2009
    ** Validation
    5 KB (680 words) - 23:55, 27 February 2020
  • ECRTS 2009
    ...cheduling and schedulability analysis; worst-case execution time analysis; validation techniques.
    5 KB (720 words) - 14:46, 17 January 2009
  • IAAI 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) - 12:55, 18 January 2009
  • IEEE/SIES 2009
    Embedded Systems: Design and Validation of Embedded Systems; Real-Time Issues; Models of Embedded Computation; Desi
    3 KB (337 words) - 12:59, 18 January 2009
  • DILS 2009
    new integration challenges for tasks such as interpretation, validation and
    4 KB (475 words) - 13:00, 18 January 2009
  • DXP 2009
    - DTD-based XML Schema Validation in Distributed Environments - XMLSchema-based XML Schema Validation in Distributed Environments
    7 KB (1,030 words) - 13:00, 18 January 2009
  • Geoinformatics 2009
    Calibration and validation of remotely sensed data
    7 KB (968 words) - 13:01, 18 January 2009
  • SEAFOOD 2009
    ...research approach, and solution papers are further to include preliminary validation.
    6 KB (857 words) - 13:01, 18 January 2009
  • TMA 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) - 13:03, 18 January 2009
  • DE@CAiSE'09
    artifacts may be used for creation and validation of the . Domain engineering techniques in support of reuse, validation, and
    8 KB (1,069 words) - 13:22, 28 January 2009
  • MOTIP
    * Quality and validation of test models
    5 KB (693 words) - 01:41, 14 April 2011
  • TTSDP 2009
    ..., component based software engineering, software quality, verification and validation techniques and software project management,.
    1 KB (190 words) - 22:09, 27 February 2009
  • SEPA 2009
    ..., component based software engineering, software quality, verification and validation techniques and software project management.
    2 KB (284 words) - 22:10, 27 February 2009
  • KSE 2009
    - Testing, Verification and Validation
    6 KB (654 words) - 17:06, 27 February 2009
  • TKDE 2009
    * Verification and validation of interchanged rule bases in
    7 KB (883 words) - 17:06, 27 February 2009
  • ICOCI 2009
    • Validation
    3 KB (319 words) - 17:07, 27 February 2009
  • ISC 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) - 17:07, 27 February 2009

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

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