Search results

Jump to: navigation, search

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

  • KES AMSTA 2009
    ** Verification and validation ** Verification and validation
    6 KB (777 words) - 22:54, 14 August 2008
  • IJIS/Special Issue on Goal-Driven Requirements Engineering
    * verification and validation for GDRE
    4 KB (471 words) - 23:33, 13 August 2008
  • COMPARCH 2008
    * Validation & verification
    4 KB (564 words) - 12:33, 8 December 2020
  • TACAS 2009
    * Abstraction techniques for modeling and validation;
    4 KB (543 words) - 16:39, 16 July 2020
  • JWE
    * Web application evaluation, verification and validation
    6 KB (871 words) - 05:51, 26 August 2008
  • ISORC 2009
    specification, design, verification, validation, testing, maintenance,
    5 KB (715 words) - 17:43, 11 September 2008
  • AAMAS 2009
    and validation techniques/tools, and multi-agent programming
    10 KB (1,371 words) - 16:14, 12 November 2020
  • INTERNET 2009
    Internet security enforcement and validation
    11 KB (1,385 words) - 17:48, 14 October 2008
  • DEPEND 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) - 17:48, 14 October 2008
  • DEPEND 2009
    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) - 21:03, 19 March 2013
  • SIGMETRICS 2009
    ...alytic modeling, system measurement and monitoring, model verification and validation, simulation, statistical analysis, experimental design, and reliability ana
    3 KB (361 words) - 21:16, 14 October 2008
  • EICS 2009
    ...present a substantial and rigorously executed piece of research including validation of results.
    4 KB (575 words) - 14:56, 27 December 2015
  • PervasiveHealth 2009
    * Clinical applications, validation and evaluation studies
    6 KB (732 words) - 22:45, 14 October 2008
  • CASCON 2008
    - Reliability: verification and validation; model checking; =
    9 KB (1,193 words) - 22:53, 14 October 2008
  • LPAR 2008
    - Translation validation
    5 KB (799 words) - 21:49, 26 February 2020
  • CSKGOI 2008
    Methods for knowledge validation
    5 KB (710 words) - 23:05, 14 October 2008
  • AMTA 2008
    Documentation and Validation issues
    16 KB (2,200 words) - 20:51, 18 February 2021
  • UALRRS 2008
    validation) and best practices
    5 KB (732 words) - 23:08, 14 October 2008
  • Multiword expressions 2008
    of MWE feasible, or will manual validation/intervention always be
    6 KB (814 words) - 23:08, 14 October 2008
  • RE 2009
    ...re of the software, the elicitation, analysis, negotiation, specification, validation and management of requirements
    7 KB (972 words) - 22:56, 4 February 2009
  • PDM 2008
    ...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) - 23:09, 14 October 2008
  • TWOMDE 2008
    validation of models using ontologies; application of Description Logics reasoning to automatically generate model transformations; validation of
    8 KB (994 words) - 23:09, 14 October 2008
  • MODELS OCL 2008
    validation, code-generation, test-driven development, transformations). * validation, verification, and testing,
    5 KB (746 words) - 23:09, 14 October 2008
  • DMVE 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) - 16:46, 16 December 2020
  • MSVVEIS 2008
    ...le = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
    618 bytes (69 words) - 17:06, 24 February 2016
  • WaGe 2008
    · Workflow verification and validation in grid environments
    7 KB (886 words) - 23:10, 14 October 2008
  • SDKB 2008
    * Validation and Verification of data and knowledge base designs
    2 KB (271 words) - 23:10, 14 October 2008
  • WSES 2008
    * Workflow verification and validation
    4 KB (560 words) - 23:10, 14 October 2008
  • CAMAD 2009
    * Validation of Simulation Models with Measurements
    2 KB (212 words) - 23:11, 14 October 2008
  • ICWS 2008
    * Technologies for Web Services Assessment (i.e., validation &
    8 KB (1,158 words) - 23:14, 14 October 2008
  • W4A 2008
    * Evaluation and Validation tools and techniques for Wiki and Blogging tools;
    3 KB (414 words) - 23:14, 14 October 2008
  • USENIX 2009
    ...not require a full-length paper, such as negative results or experimental validation
    6 KB (869 words) - 23:14, 14 October 2008
  • AAMAS 2020
    ...l methods and declarative technologies for specification, verification and validation of MAS * Validation of simulation systems
    6 KB (659 words) - 17:41, 11 February 2021
  • IFAC/IFIP EI2N 2008
    * Enterprise reference models and their verification, validation, and accreditation
    8 KB (1,024 words) - 17:57, 8 November 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
  • SIGSOFT 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) - 09:16, 8 July 2020
  • SEKE 2008
    * Validation and Verification
    6 KB (733 words) - 12:48, 27 October 2016
  • SLA++P'08
    * test and validation of programs,
    6 KB (659 words) - 23:18, 14 October 2008
  • ADCSS 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) - 23:23, 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
    # 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
  • 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

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

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