Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Norman F. Schneidewind	Methodology For Validating Software Metrics.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	comprehensive metrics validation methodology, quality functions, software organizations, project quality goals, nonparametric statistical methods, discriminative power validity criterion, metrics validation process, predictability, tracking, software metrics, software metrics, software reliability, program verification, quality control, repeatability, contingency tables, discriminative power, validity criteria
25	Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja	MMV: A Metamodeling Based Microprocessor Validation Environment.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
25	David J. Montana, Mark C. Reynolds	Validation Algorithms for a Secure Internet Routing PKI.	EuroPKI	2008	DBLP DOI BibTeX RDF	Resource PKI, Internet Routing PKI, Route Origination Attestation, Border Gateway Protocol
25	Ilya Wagner, Valeria Bertacco	Reversi: Post-silicon validation system for modern microprocessors.	ICCD	2008	DBLP DOI BibTeX RDF
25	Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V. Kodakara, David J. Lilja, Ajit Dingankar	Design fault directed test generation for microprocessor validation.	DATE	2007	DBLP DOI BibTeX RDF
25	Patrick Schaumont, David D. Hwang, Shenglin Yang, Ingrid Verbauwhede	Multilevel Design Validation in a Secure Embedded System.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Multilevel simulation, security, embedded systems
25	Kristiaan Pelckmans, Johan A. K. Suykens, Bart De Moor	Additive Regularization Trade-Off: Fusion of Training and Validation Levels in Kernel Methods.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	regulatization, optimizatioon, model selection, Least Squares Support Vector Machines
25	Dimosthenis Anagnostopoulos, Mara Nikolaidou	Data Organization and Data Comparison for Model Validation in Faster-than-Real-Time Simulation.	Annual Simulation Symposium	2006	DBLP DOI BibTeX RDF
25	Yong Liu 0012	Create Stable Neural Networks by Cross-Validation.	IJCNN	2006	DBLP DOI BibTeX RDF
25	Matti Kääriäinen	Semi-Supervised Model Selection Based on Cross-Validation.	IJCNN	2006	DBLP DOI BibTeX RDF
25	Dejan Desovski, Vijai Gandikota, Yan Liu 0003, Yue Jiang 0001, Bojan Cukic	Validation and Reliability Estimation of a Fingerprint Image Registration Software.	ISSRE	2004	DBLP DOI BibTeX RDF
25	Jef Jacobs, Jos J. M. Trienekens	Towards a Metrics Based Verification and Validation Maturity Model.	SAFECOMP	2002	DBLP DOI BibTeX RDF
25	Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri	Visual Requirements Validation: Case Study in a Corba-Supported Environment.	RE	2002	DBLP DOI BibTeX RDF
25	S. Vasupongayya, René S. Renner, Benjoe A. Juliano	Model Generation of Neural Network Ensembles Using Two-Level Cross-Validation.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
25	Robert G. Sargent, Priscilla A. Glasow, Jack P. C. Kleijnen, Averill M. Law, Ian McGregor, Simone Youngblood	Strategic directions in VV&A; research: strategic directions in Verification, Validation, and Accreditation research.	WSC	2000	DBLP DOI BibTeX RDF
25	Theo C. Ruys	Xspin/Project - Integrated Validation Management for Xspin.	SPIN	1999	DBLP DOI BibTeX RDF
25	Amir Pnueli, Ofer Strichman, Michael Siegel	Translation Validation: From SIGNAL to C.	Correct System Design	1999	DBLP DOI BibTeX RDF
25	Tadao Saito, Toshihiko Kato, Hiroshi Inose	Product validation for standardized network protocol.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF
25	Dushan Z. Badal, Gerald J. Popek	Cost and Performance Analysis of Semantic Integrity Validation Methods.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF	integrity assertions, performance analysis, database management, semantic integrity, cost analysis
24	Robert G. Sargent	Verification, validation, and accreditation: verification, validation, and accreditation of simulation models.	WSC	2000	DBLP DOI BibTeX RDF
24	Giuseppe Pelagatti, Mauro Negri, Alberto Belussi, Sara Migliorini	From the conceptual design of spatial constraints to their implementation in real systems.	GIS	2009	DBLP DOI BibTeX RDF	spatial data validation, spatial integrity constraints, conceptual modeling
24	Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem	Formalizing ARTIS Agent Model Using RT-Maude.	MATES	2009	DBLP DOI BibTeX RDF	ARTIS Agent, Real-Time Maude, Formal specification, Validation
24	Christopher Scaffidi, Brad A. Myers, Mary Shaw	Topes: reusable abstractions for validating data.	ICSE	2008	DBLP DOI BibTeX RDF	validation, abstraction, data
24	Carlo Ghezzi	The challenges of open-world software.	WOSP	2007	DBLP DOI BibTeX RDF	continuous validation, open-world software, distributed systems, services, software components, agile methods, software composition
24	Jin-Cherng Lin, Jan-Min Chen	An Automatic Revised Tool for Anti-Malicious Injection.	CIT	2006	DBLP DOI BibTeX RDF	Complete crawling, Malicious injection, Security, SQL Injection, Input validation
24	Ugur Halici, Asuman Dogac	An Optimistic Locking Technique For Concurrency Control in Distributed Databases.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	optimistic locking technique, optimistic method, dummy locks, write sets, validated transactions, short-term locks, strict two-phase locking, low conflict cases, strict 2PL, concurr, distributed databases, concurrency control, validation test, ODL
23	Tim Kempster, Colin Stirling, Peter Thanisch	Games-Based Model Checking of Protocols: counting doesn't count.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	Bow-Yaw Wang, José Meseguer 0001, Carl A. Gunter	Specification and Formal Analysis of a PLAN Algorithm in Maude.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	Sari Leppänen, Matti Luukkainen	Compositional Verification of a Third Generation Mobile Communication Protocol.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo	A Denotational Model for Probabilistic and Nondeterministic Processes.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson	Guided Synthesis of Control Programs Using UPPAAL.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	Doron A. Peled	Formal Methods for Message Sequence Charts.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	Marc Born, Ina Schieferdecker, Mang Li	Test Framework for Component-Based Systems.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	Wen Chien Liu, Chyan-Goei Chung	Path-based Model Checking.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff W. Hamilton	Specifying and Verifying IP with Linear Logic.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	Dmitri Chkliaev, Peter van der Stok, Jozef Hooman	Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	Lénaick Tanguy, César Viho, Claude Jard	Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	In Sang Chung, Byeong Man Kim, Hyeon Soo Kim	A New Approach to Deterministic Execution Testing for Concurrent Programs.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	Ping-Wen Chen, Yasuro Kawata, Hossam I. Gharib, Shi-Kuo Chang	An Approach for the Design and Simulation of Information Retrieval Protocols.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	María-del-Mar Gallardo, Pedro Merino 0001	Verifying Distributed Systems with Model Checking and Static Analysis.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	I-Shyan Hwang, San-Nan Lee	Diagnosing Crosstalk Faults in a Class of Dilated Blocking Optical Multistage Interconnection Networks.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	Natalia López, Manuel Núñez 0001	NMSPA: A Non-Markovian Model for Stochastic Processes.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
23	Steffen Heinzl, Benjamin Schmeling	Using XML schema to improve writing, validation, and structure of WS-policies.	SAC	2010	DBLP DOI BibTeX RDF	WS-SecurityPolicy, domain-specific policy, validation, policy, XML schema, WS-policy
23	Minmin Chen, Yixin Chen 0001, Michael R. Brent, Aaron E. Tenney	Constrained optimization for validation-guided conditional random field learning.	KDD	2009	DBLP DOI BibTeX RDF	extended saddle points, constrained optimization, conditional random fields, cross validation
23	Michael Riesen, Gürsel Serpen	Validation of a bayesian belief network representation for posterior probability calculations on national crime victimization survey.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	National crime victimization survey, Posterior probability calculations, Joint probability distribution, Machine learning, Bayesian belief network, Model validation, Probabilistic query
23	Rafael Martínez-Peláez, Cristina Satizábal, Francisco Rico-Novella, Jordi Forné	Efficient Certificate Path Validation and Its Application in Mobile Payment Protocols.	ARES	2008	DBLP DOI BibTeX RDF	Certification Path Validation, SET protocol, Mobile Payment, Public Key Infrastructure (PKI)
23	Heon-Mo Koo, Prabhat Mishra 0001	Specification-based compaction of directed tests for functional validation of pipelined processors.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	processor validation, test compaction
23	Richard Atterer	Model-based automatic usability validation: a tool concept for improving web-based UIs.	NordiCHI	2008	DBLP DOI BibTeX RDF	automated validation, usability model, accessibility, web engineering, web usability
23	Wei Ni, Tok Wang Ling	Semantic validation for XML updates.	ICUIMC	2008	DBLP DOI BibTeX RDF	XML, validation, semantic constraints
23	Masayoshi Teraguchi, Issei Yoshida, Naohiko Uramoto	Rule-based XML Mediation for Data Validation and Privacy Anonymization.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	XML Mediation, Industry-specific specification, privacy anonymization, data validation
23	Kurt Svensson	Faster XML data validation in a programming language with XML datatypes.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	XML data declarations, XSD schema, XSD schema facets, XML, XML, B2B, data validation, WebServices, format conversion
23	Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van	Early verification and validation of mission critical systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Model-checking, Animation, Requirements engineering, Monitoring, Verification and validation, Goal modelling
23	Leonard E. Schwer	Validation metrics for response histories: perspectives and case studies.	Eng. Comput.	2007	DBLP DOI BibTeX RDF	Wave form, Magnitude, Metric, Validation, Phase
23	Michael Kishinevsky, Sandeep K. Shukla, Ken S. Stevens	Guest Editors' Introduction: GALS Design and Validation.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	design, synchronous, validation, asynchronous
23	Jingzhou Yang 0001, Salam Rahmatallah, Timothy Marler, Karim Abdel-Malek, Chad Harrison	Validation of Predicted Posture for the Virtual Human SantosTM.	HCI (12)	2007	DBLP DOI BibTeX RDF	Predicted posture, human performance measures, validation, virtual humans, MOO
23	Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur	Formal Validation of Java/Swing User Interfaces with the Event B Method.	HCI (1)	2007	DBLP DOI BibTeX RDF	Method B, CTT, User Interface, Formal Methods, Static Analysis, Validation, Tasks Model
23	Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsai, Yinong Chen	A Framework for Contract-Based Collaborative Verification and Validation of Web Services.	CBSE	2007	DBLP DOI BibTeX RDF	Contract-Based, Web Services, Verification and Validation
23	Nikolaos G. Bartzoudis, Klaus D. McDonald-Maier	An embedded sensor validation system for adaptive condition monitoring of a wind farms.	AHS	2007	DBLP DOI BibTeX RDF	Sensor validation, FPGAs, embedded systems, adaptive systems, condition monitoring
23	Jan C. van Gemert, Cees Snoek, Cor J. Veenman, Arnold W. M. Smeulders	The influence of cross-validation on video classification performance.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	multimedia performance evaluation, cross-validation, parameter tuning, semantic concept detection
23	Nuno David	Validation and Verification in Social Simulation: Patterns and Clarification of Terminology.	EPOS	2006	DBLP DOI BibTeX RDF	pre-computerized, post-computerized models, Verification, validation, terminology
23	Wojciech Jaworski	Model Selection and Assessment for Classification Using Validation.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	Model Assessment, Hold-Out Estimate, Train-and-Test, Validation, Model Selection, Computational learning theory
23	Gaëlle Largeteau, Dominique Geniet, Eric Andres	Discrete Geometry Applied in Hard Real-Time Systems Validation.	DGCI	2005	DBLP DOI BibTeX RDF	operational validation, Real-time, multiprocessors, geometrical modeling, resource sharing
23	Chun-Te Chen, Te-Chung Lu	A Mobile Ticket Validation by VSS Tech with Time-Stamp.	EEE	2004	DBLP DOI BibTeX RDF	Validation, m-commerce, Time-Stamp, VSS
23	Aman Kokrady, C. P. Ravikumar	Fast, Layout-Aware Validation of Test-Vectors for Nanometer-Related Timing Failures.	VLSI Design	2004	DBLP DOI BibTeX RDF	Timing Failure, Test Validation, Crosstalk, At Speed Testing, IR Drop
23	Sandrine Dudoit, Mark J. van der Laan, Sündüz Keles, Annette M. Molinaro, Sandra E. Sinisi, Siew Leng Teng	Loss-based estimation with cross-validation: applications to microarray data analysis.	SIGKDD Explor.	2003	DBLP DOI BibTeX RDF	censored data, comparative genomic hybridization, multivariate outcome, classification, prediction, estimation, microarray, risk, model selection, density estimation, cross-validation, variable selection, survival analysis, regression trees, loss function
23	Keiki Takadama, Yutaka L. Suematsu, Norikazu Sugimoto, Norberto Eiji Nawa, Katsunori Shimohara	Towards Verification and Validation in Multiagent-Based Systems and Simulations: Analyzing Different Learning Bargaining Agents.	MABS	2003	DBLP DOI BibTeX RDF	Verification and validation, multiagent-based simulation
23	Josef Kittler, Kieron Messer, Mohammad Sadeghi 0001	Model Selection by Predictive Validation.	Pattern Anal. Appl.	2002	DBLP DOI BibTeX RDF	Mixture modelling, Model selection, Model validation
23	Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray	A Specification and Validation Technique Based on STATEMATE and FNLOG.	ICFEM	2002	DBLP DOI BibTeX RDF	Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation
23	Ahmed Amine Jerraya, Sungjoo Yoo, Aimen Bouchhima, Gabriela Nicolescu	Validation in a Component-Based Design Flow for Multicore SoCs.	ISSS	2002	DBLP DOI BibTeX RDF	validation, SoC, abstraction levels, component-based design, cosimulation
23	Kalyani Mali, Sushmita Mitra	Clustering of Symbolic Data and Its Validation.	AFSS	2002	DBLP DOI BibTeX RDF	Categorical clustering, symbolic processing, data mining, validation
23	Georg Kösters, Hans-Werner Six, Mario Winter	Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications.	Requir. Eng.	2001	DBLP DOI BibTeX RDF	Activity graphs, UML, Verification, Requirements engineering, Validation, Use cases, Class models
23	Pradip Bose	Testing for Function and Performance: Towards an Integrated Processor Validation Methodology.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	performance test cases, bounds modeling, performance validation, integrated methodology, test generation, microprocessor testing
23	Karol Myszkowski, Tosiyasu L. Kunii	A case study towards validation of global illumination algorithms: progressive hierarchical radiosity with clustering.	Vis. Comput.	2000	DBLP DOI BibTeX RDF	Clustering, Global illumination, Hierarchical radiosity, Progressive refinement, Experimental validation
23	Marcello Lajolo, Luciano Lavagno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante	Automatic test bench generation for simulation-based validation.	CODES	2000	DBLP DOI BibTeX RDF	simulation-based validation, genetic algorithm
23	Teresa Riesgo, Yago Torroja, Eduardo de la Torre, Javier Uceda	Quality Estimation of Test Vectors and Functional Validation Procedures Based on Fault and Error Models.	DATE	1998	DBLP DOI BibTeX RDF	VHDL, Fault modelling, Design validation, Design errors
23	Barbara A. Kitchenham, Shari Lawrence Pfleeger, Norman E. Fenton	Towards a Framework for Software Measurement Validation.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	software metrics validation, software measurement, Measurement theory
23	Xavier Pennec, Jean-Philippe Thirion	Validation of 3D Registration Methods Based on Points and Frames.	ICCV	1995	DBLP DOI BibTeX RDF	3D registration methods, 3D matched points, matched frames, estimated transform uncertainty, statistical validation method, transform estimation method, transforms, noise, noise, image registration, image matching, medical image processing, frames, points, error estimation, estimation theory, ground truth, covariance matrix, 3D medical images, rigid transform, covariance matrices
23	Friedrich Leisch, Kurt Hornik, Lakhmi C. Jain	NN Classifiers: Reducing the Computational Cost of Cross-Validation by Active Pattern Selection.	ANNES	1995	DBLP DOI BibTeX RDF	ANNES'95, Neural Networks, Classification, Cross-Validation, Computational Cost, Leave-one-out
23	François Parmentier, Abdel Belaïd	Bibliography references validation using emergent architecture.	ICDAR	1995	DBLP DOI BibTeX RDF	bibliography references validation, emergent architecture, semantic recognition, OCR flow, sub-fields, bibliography reference database, principal terms, concept network, appropriate agents, OCR errors, semantic networks, structured data
23	Robert M. O'Keefe, Daniel E. O'Leary	Expert system verification and validation: a survey and tutorial.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF	ACM Categories and Subject Descriptors D.2.4 [Software Engineering] Program Verification - Validation, D.2.5 [Software Engineering] Testing and Debugging, 1.2 [Artificial Intelligence] Applications and Expert Systems, K.6.1 [Management of Computers and Information System] Project and People Management - Life Cycle
23	Jun Zhang 0006, James W. Modestino	A Model-Fitting Approach to Cluster Validation with Application to Stochastic Model-Based Image Segmentation.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	stochastic model-based image segmentation, Akaike's information criterion, synthetic mixture data, pattern recognition, pattern recognition, parameter estimation, parameter estimation, cluster validation, model-fitting, image data
23	Jeff Offutt, Ye Wu, Xiaochen Du, Hong Huang	Web Application Bypass Testing.	COMPSAC Workshops	2004	DBLP DOI BibTeX RDF
22	Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza	Challenges with Software Verification and Validation Activities in the Space Industry.	ICST	2010	DBLP DOI BibTeX RDF	European Cooperation for Space Standardization, case study, verification and validation
22	Odile Laurent	Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process.	ICST	2010	DBLP DOI BibTeX RDF	Formal methods, testing strategy, validation and verification, automatic test case generation
22	Gennaro Costagliola, Filomena Ferrucci, Genoveffa Tortora, Giuliana Vitiello	Class Point: An Approach for the Size Estimation of Object-Oriented Systems.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	theoretical validation, effort prediction model, Object-oriented systems, empirical validation, Function Point Analysis, size measures
22	Tong Yi, Fangjun Wu, Chengzhi Gan	A comparison of metrics for UML class diagrams.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	theoretical validation, UML, measure, metric, class diagram, empirical validation, structure complexity
22	Dana Moore, William Wright	Emergent behaviours considered harmful.	AAMAS	2003	DBLP DOI BibTeX RDF	agent-based workflow management, verification, testing, validation, controls, instrumentation, agent-based software engineering, testing methodologies, validation methodologies
22	Lionel C. Briand, Walcélio L. Melo, Jürgen Wüst	Assessing the Applicability of Fault-Proneness Models Across Object-Oriented Software Projects.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	measures, Object-oriented, metrics, cross-validation, empirical validation
22	Li Feng Zhang, Quan Min Zhu, Ashley Longden	A Correlation-Test-Based Validation Procedure for Identified Neural Networks.	IEEE Trans. Neural Networks	2009	DBLP DOI BibTeX RDF
22	Andrew DeOrio, Ilya Wagner, Valeria Bertacco	Dacota: Post-silicon validation of the memory subsystem in multi-core designs.	HPCA	2009	DBLP DOI BibTeX RDF
22	Kong Woei Susanto, Tim Todman, José Gabriel F. Coutinho, Wayne Luk	Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation.	SOFSEM	2009	DBLP DOI BibTeX RDF
22	Anna Zaks, Amir Pnueli	Program analysis for compiler validation.	PASTE	2008	DBLP DOI BibTeX RDF
22	Géza Szabó, Dániel Orincsay, Szabolcs Malomsoky, István Szabó	On the Validation of Traffic Classification Algorithms.	PAM	2008	DBLP DOI BibTeX RDF
22	Tom Oomen, Okko H. Bosgra	Estimating disturbances and model uncertainty in model validation for robust control.	CDC	2008	DBLP DOI BibTeX RDF
22	Robert G. Sargent	Verification and validation of simulation models.	WSC	2008	DBLP DOI BibTeX RDF
22	Ulf Johansson, Tuve Löfström, Henrik Boström	The problem with ranking ensembles based on training or validation performance.	IJCNN	2008	DBLP DOI BibTeX RDF
22	Steven Farber, Antonio Páez 0001	A systematic investigation of cross-validation in GWR model estimation: empirical analysis and Monte Carlo simulations.	J. Geogr. Syst.	2007	DBLP DOI BibTeX RDF	JEL Classification C13
22	Oliver Skroch	Validation of Component-Based Software with a Customer Centric Domain Level Approach.	ECBS	2007	DBLP DOI BibTeX RDF
22	Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl	Model Validation using Automatically Generated Requirements-Based Tests.	HASE	2007	DBLP DOI BibTeX RDF
22	John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef	Validation Support for Distributed Real-Time Embedded Systems in VDM++.	HASE	2007	DBLP DOI BibTeX RDF