Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Lars-Helge Netland, Yngve Espelid, Khalid A. Mughal	A Reflection-Based Framework for Content Validation.	ARES	2007	DBLP DOI BibTeX RDF
22	Mark Melia, Claus Pahl	Pedagogical Validation of Courseware.	EC-TEL	2007	DBLP DOI BibTeX RDF
22	Robert G. Sargent	Verification and validation of simulation models.	WSC	2007	DBLP DOI BibTeX RDF
22	André R. S. Marçal	Automatic Identification and Validation of Tie Points on Hyperspectral Satellite Images from CHRIS/PROBA.	SCIA	2007	DBLP DOI BibTeX RDF
22	Jason Beckett, Jill Slay	Digital Forensics: Validation and Verification in a Dynamic Work Environment.	HICSS	2007	DBLP DOI BibTeX RDF
22	Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis	Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples.	WADS	2007	DBLP DOI BibTeX RDF
22	Lorenz Froihofer, Gerhard Glos, Johannes Osrael, Karl M. Göschka	Overview and Evaluation of Constraint Validation Approaches in Java.	ICSE	2007	DBLP DOI BibTeX RDF
22	Jane Huffman Hayes, Jeff Offutt	Input validation analysis and testing.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Specificationanalysis, Inputvalidation, Fault-based analysis, Fault-basedtesting, Empiricalresearch, Syntax-based, Interfaceverification, Systemtesting, Staticanalysis, Dynamictesting, Casestudy, Software testing
22	Sadaf R. Alam, Jeffrey S. Vetter	Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels.	Euro-Par	2006	DBLP DOI BibTeX RDF
22	Nadia Bolshakova, Anton Zamolotskikh, Padraig Cunningham	Comparison of the Data-based and Gene Ontology-Based Approaches to Cluster Validation Methods for Gene Microarrays.	CBMS	2006	DBLP DOI BibTeX RDF
22	Derek Greene, Padraig Cunningham	Efficient Prediction-Based Validation for Document Clustering.	ECML	2006	DBLP DOI BibTeX RDF
22	Simeon Warner	The OAI Data-Provider Registration and Validation Service.	ECDL	2005	DBLP DOI BibTeX RDF
22	Robert G. Sargent	Verification and validation of simulation models.	WSC	2005	DBLP DOI BibTeX RDF
22	Giovanni Lapenta, Stefano Markidis	Plug and Play Approach to Validation of Particle-Based Algorithms.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
22	William H. Sanders	Probabilistic Validation of Computer System Survivability.	LADC	2005	DBLP DOI BibTeX RDF
22	Wei Lu, Kenneth Chiu, Aleksander Slominski, Dennis Gannon	A streaming validation model for SOAP digital signature.	HPDC	2005	DBLP DOI BibTeX RDF
22	Christos Drosos, Labros Bisdounis, Dimitris Metafas, Spyros Blionas, Anna Tatsaki	A Multi-level Validation Methodology for Wireless Network Applications.	PATMOS	2004	DBLP DOI BibTeX RDF
22	Hans-Joachim Mucha, Edgar Haimerl	Automatic Validation of Hierarchical Cluster Analysis with Application in Dialectometry.	GfKl	2004	DBLP DOI BibTeX RDF
22	Sang-Kyun Kim, Myungcheol Lee, Kyu-Chul Lee	Validation of XML Document Updates Based on XML Schema in XML Databases.	DEXA	2003	DBLP DOI BibTeX RDF
22	Liang Zhang 0012, Michael S. Hsiao, Indradeep Ghosh	Automatic Design Validation Framework for HDL Descriptions via RTL ATPG.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
22	Angela Krstic, Li-C. Wang, Kwang-Ting Cheng, T. M. Mak	Diagnosis-Based Post-Silicon Timing Validation Using Statistical Tools and Methodologies.	ITC	2003	DBLP DOI BibTeX RDF
22	Béatrice Bouchou, Mirian Halfeld Ferrari Alves	Updates and Incremental Validation of XML Documents.	DBPL	2003	DBLP DOI BibTeX RDF
22	Jörg Desel	Model Validation - A Theoretical Issue?	ICATPN	2002	DBLP DOI BibTeX RDF
22	Prabhat Mishra 0001, Hiroyuki Tomiyama, Ashok Halambi, Peter Grun, Nikil D. Dutt, Alexandru Nicolau	Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	Pipeline Verification, Architecture Description Language
22	Jack P. C. Kleijnen, Russell C. H. Cheng, Bert Bettonvil	VV&A; IV: validation of trace-driven simulation models: more on bootstrap tests.	WSC	2000	DBLP DOI BibTeX RDF
22	A. V. Hariharakrishnan, Simon Johney	Validation Platform for a P1394a OHCI-Link Layer Synthesizable Core (With a PCI Bus Interface).	EUROMICRO	2000	DBLP DOI BibTeX RDF
22	David A. Langan, James W. Modestino, Jun Zhang 0006	Cluster validation for unsupervised stochastic model-based image segmentation.	IEEE Trans. Image Process.	1998	DBLP DOI BibTeX RDF
22	Amir Pnueli, Ofer Strichman, Michael Siegel	Translation Validation: From DC+ to C*.	FM-Trends	1998	DBLP DOI BibTeX RDF
22	Amir Pnueli, Ofer Strichman, Michael Siegel	Translation Validation for Synchronous Languages.	ICALP	1998	DBLP DOI BibTeX RDF
22	Jian Shen, Jacob A. Abraham	Native mode functional test generation for processors with applications to self test and design validation.	ITC	1998	DBLP DOI BibTeX RDF
22	Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas	Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.	ISSTA	1996	DBLP DOI BibTeX RDF
22	Nacéra Bennacer, Gerard Florin, Céline Fraize, Stéphane Natkin	Probabilistic Validation of a Remote Procedure Call Protocol.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
22	Marnix C. M. Weusten	Validation: The Key Concept in Maintenance of Legal KBS.	ICAIL	1993	DBLP DOI BibTeX RDF
22	Henrikas Pranevitchius	Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols.	Baltic Computer Science	1991	DBLP DOI BibTeX RDF
20	Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister 0002, Marek Jersak, Kai Richter 0001, Christian Ferdinand	Timing Validation of Automotive Software.	ISoLA	2008	DBLP DOI BibTeX RDF
20	John S. Carson II	Verification validation: model verification and validation.	WSC	2002	DBLP DOI BibTeX RDF
20	Tingxin Yan, Vikas Kumar, Deepak Ganesan	CrowdSearch: exploiting crowds for accurate real-time image search on mobile phones.	MobiSys	2010	DBLP DOI BibTeX RDF	human validation, real time, image search, crowdsourcing
20	Heon-Mo Koo, Prabhat Mishra 0001	Functional test generation using design and property decomposition techniques.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	design decomposition, property decomposition, Model checking, test generation, pipelined processor, functional validation
20	Sudipta Kundu, Zachary Tatlock, Sorin Lerner	Proving optimizations correct using parameterized program equivalence.	PLDI	2009	DBLP DOI BibTeX RDF	compiler optimization, correctness, translation validation
20	Dariusz Choinski, Witold Nocon, Mieczyslaw Metzger	Multi-Agent System for Collaboration in Hybrid Control.	ICCS (3)	2008	DBLP DOI BibTeX RDF	scalability and reconfigurability, ontology, MAS, validation, hybrid control
20	Sung-Boem Park, Subhasish Mitra	IFRA: instruction footprint recording and analysis for post-silicon bug localization in processors.	DAC	2008	DBLP DOI BibTeX RDF	verification, debug, validation, design for debug
20	Jin-Cherng Lin, Jan-Min Chen, Hsing-Kuo Wong	An Automatic Meta-revised Mechanism for Anti-malicious Injection.	NBiS	2007	DBLP DOI BibTeX RDF	Malicious injection, Security gateway, Black box testing, Input validation
20	Nikolai Kosmatov	A constraint solver for sequences and its applications.	SAC	2006	DBLP DOI BibTeX RDF	verification, validation, sequences, constraint solver
20	Wei Fan 0001, Ian Davidson	Reverse testing: an efficient framework to select amongst classifiers under sample selection bias.	KDD	2006	DBLP DOI BibTeX RDF	classification, cross-validation, stationary distribution, sample selection bias
20	Martin Gogolla, Jörn Bohling, Mark Richters	Validating UML and OCL models in USE by automatic snapshot generation.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	models, UML, Invariant, Reasoning, OCL, Test case, Class diagram, Model validation, Snapshot, Pre- and postcondition, Model testing
20	Makoto Murata, Dongwon Lee 0001, Murali Mani, Kohsuke Kawaguchi	Taxonomy of XML schema languages using formal language theory.	ACM Trans. Internet Techn.	2005	DBLP DOI BibTeX RDF	tree automaton, XML, validation, interpretation, schema
20	Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries	Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions.	OTM Workshops	2004	DBLP DOI BibTeX RDF	Cross-enterprise business processes modeling, fault-tolerance, UML, verification, validation, methodology, tools, advanced transaction model
20	Claude Nadeau, Yoshua Bengio	Inference for the Generalization Error.	Mach. Learn.	2003	DBLP DOI BibTeX RDF	power, hypothesis tests, cross-validation, size, generalization error, variance estimation
20	Andreas Homrighausen, Hans-Werner Six, Mario Winter	Round-Trip Prototyping Based on Integrated Functional and User Interface Requirements Specifications.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Round-Trip Prototyping, User Interface Requirements, UML, Requirements engineering, Prototyping, Validation
20	Steffen Rochel, N. S. Nagaraj	Full-Chip Signal Interconnect Analysis for Electromigration Reliability.	ISQED	2000	DBLP DOI BibTeX RDF	Full-chip Analysis, Deep Sub-micron design, Validation, Electromigration
20	Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres	Petri nets are good for protocols.	Comput. Commun. Rev.	1984	DBLP DOI BibTeX RDF	ISO reference model, Petri nets, Protocol, Specification, Validation, Service
19	Knut Baumann	Cross-validation is dead. Long live cross-validation! Model validation based on resampling.	J. Cheminformatics	2010	DBLP DOI BibTeX RDF
19	Joël Toussaint	Modélisation d'applications temps réel reparties pour la validation de propriétés temporelles méthodologie de construction de modèles et algorithmes de validation. (Modeling real time distributed applications to validate time properties design methodology of models and validation algorithms).		1997	RDF
19	Vincent Chapurlat	Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities.	MSVVEIS	2008	DBLP BibTeX RDF
19	Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon	A Specification and Validation Approach for Business Process Integration based on Web Services and Agents.	MSVVEIS	2007	DBLP BibTeX RDF
19	Nasreddine Aoumeur, Gunter Saake	UML-driven Information Systems and their Formal Integration Validation and Distribution.	MSVVEIS	2007	DBLP BibTeX RDF
19	José Diego De la Cruz, Lam-Son Lê, Alain Wegmann	Validation of Visual Contracts for Services.	MSVVEIS	2006	DBLP BibTeX RDF
19	Paulo Sérgio Sausen, Pedro Fernandes Ribeiro Neto, Angelo Perkusich, Antonio Marcus Nogueira de Lima, Maria Ligia B. Perkusich, Fabiano Salvadori	Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks.	MSVVEIS	2005	DBLP BibTeX RDF
19	Mieczyslaw L. Owoc, Malgorzata Ochmanska, Tomasz Gladysz	On Principles of Knowledge Validation.	EUROVAV	1999	DBLP BibTeX RDF
19	Anca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell	Verification and Validation in Support for Software Certification Methods.	EUROVAV	1999	DBLP BibTeX RDF
19	Francisco Loforte Ribeiro	Verification and Validation of a Multistrategy Knowledge-Based System.	EUROVAV	1999	DBLP BibTeX RDF
19	Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau	Constraints for Validation of Conceptual Graphs.	EUROVAV	1999	DBLP BibTeX RDF
19	Florence Dupin de Saint-Cyr, Stéphane Loiseau	Validation and Refinement versus Revision.	EUROVAV	1999	DBLP BibTeX RDF
19	Nayyer Masood, Barry Eaglestone	Ontology-based Verification and Validation of Federated Database Systems.	EUROVAV	1999	DBLP BibTeX RDF
19	Jorge Santos 0001, Carlos Ramos 0001, Zita A. Vale, Albino Marques	Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres.	EUROVAV	1999	DBLP BibTeX RDF
19	Frans Coenen, Barry Eaglestone, Mick J. Ridley	Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions.	EUROVAV	1999	DBLP BibTeX RDF
19	Éric Grégoire	Progressive Instantiation for the Logical Validation of Nonmonotonic KBs.	EUROVAV	1999	DBLP BibTeX RDF
19	Anca I. Vermesan, Frode Høgberg	Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment.	EUROVAV	1999	DBLP BibTeX RDF
19	Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam	A platform for implantable medical device validation.	IPSN	2010	DBLP DOI BibTeX RDF	real-time systems, validation, cyber-physical systems, medical devices
19	Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor	Bridging pre-silicon verification and post-silicon validation.	DAC	2010	DBLP DOI BibTeX RDF	post-silicon, pre-silicon, verification, validation
19	Ezequiel López-Rubio, Juan Miguel Ortiz-de-Lazcano-Lobato	Automatic Model Selection by Cross-Validation for Probabilistic PCA.	Neural Process. Lett.	2009	DBLP DOI BibTeX RDF	Missing value imputation, Simulated annealing, Dimensionality reduction, Cross-validation, Probabilistic principal components analysis (PPCA), Probability density estimation
19	Steve J. Summerskill, Russell Marshall, Keith Case, Diane E. Gyi, Ruth E. Sims, Peter Davis	Validation of the HADRIAN System Using an ATM Evaluation Case Study.	HCI (11)	2009	DBLP DOI BibTeX RDF	validation, ergonomics, design for all, Human Modelling
19	Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo	Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints.	SAC	2009	DBLP DOI BibTeX RDF	UML, embedded systems, time petri net, requirement validation
19	Christopher Scaffidi, Brad A. Myers, Mary Shaw	Fast, Accurate Creation of Data Validation Formats by End-User Developers.	IS-EUD	2009	DBLP DOI BibTeX RDF	web macros, web applications, Data validation
19	Babis Magoutas, Gregoris Mentzas	Refinement, Validation and Benchmarking of a Model for E-Government Service Quality.	EGOV	2009	DBLP DOI BibTeX RDF	benchmarking, validation, refinement, quality model, eGovernment
19	Andreas Lumbe Aas, Stig Ole Johnsen, Torbjørn Skramstad	CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Control centre, Petroleum, Oil & Gas, CRIOP, Verification, Human Factors, Validation, Offshore, Control room
19	Danilo Ravotto, Edgar E. Sánchez, Matteo Sonza Reorda, Giovanni Squillero	Design validation of multithreaded architectures using concurrent threads evolution.	SBCCI	2009	DBLP DOI BibTeX RDF	simulation based techniques, functional validation
19	Madhu Saravana Sibi Govindan, Stephen W. Keckler, Doug Burger	End-to-end validation of architectural power models.	ISLPED	2009	DBLP DOI BibTeX RDF	architectural power models, measurement, validation
19	Marco Brambilla 0001, Christina Tziviskou	An Online Platform for Semantic Validation of UML Models.	ICWE	2009	DBLP DOI BibTeX RDF	ontology, Semantic Web, UML, component, validation, conceptual modeling, pattern, reasoner, class diagram, WebML
19	Luis Fernando Lago-Fernández, Manuel A. Sánchez-Montañés, Fernando J. Corbacho	Fuzzy Cluster Validation Using the Partition Negentropy Criterion.	ICANN (2)	2009	DBLP DOI BibTeX RDF	Negentropy, Clustering, EM algorithm, Mixture Model, Cluster validation
19	Xiao Liu 0011, Qiang Xu 0001	Interconnection fabric design for tracing signals in post-silicon validation.	DAC	2009	DBLP DOI BibTeX RDF	trace-based debug, post-silicon validation
19	Robert Beverly, Arthur W. Berger, Young Hyun, kc claffy	Understanding the efficacy of deployed internet source address validation filtering.	Internet Measurement Conference	2009	DBLP DOI BibTeX RDF	ip spoofing, source address validation, filtering
19	Petr Kroha, Manuela Rink	Text Generation for Requirements Validation.	ICEIS	2009	DBLP DOI BibTeX RDF	Requirements, Requirements specification, Requirements modeling, Requirements validation, Text generation
19	Jianping Wu, Gang Ren 0003, Xing Li 0001	Building a next generation Internet with source address validation architecture.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	IP source address validation, network security, network architecture
19	Doron Drusinsky, James Bret Michael, Man-tak Shing	A framework for computer-aided validation.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Model checking, Formal methods, Runtime verification, Validation and verification
19	Junko Shirogane, Yoshiaki Fukazawa	Correspondence validation method for GUI operations and scenarios by operation history analysis.	IUI	2008	DBLP DOI BibTeX RDF	correspondence validation, history analysis, GUI, scenario
19	Yuen-Tak Yu, Marian Choy, Eric Ying Kwong Chan, Y. T. Lo	A Hybrid Learning Course on Software Development-Requirements Validation of Tool Support.	ICHL	2008	DBLP DOI BibTeX RDF	Web-based learning tool, software development, requirements validation, Course design, hybrid learning
19	Florina Almenárez, Andrés Marín López, Daniel Díaz Sánchez, Alberto Cortés, Celeste Campo, Carlos García-Rubio	Building an Open Toolkit of Digital Certificate Validation for Mobile Web Services.	PerCom	2008	DBLP DOI BibTeX RDF	certificate validation, open toolkit, X.509 certificates
19	Masakazu Takahashi, Satoru Takahashi, Yoshikatsu Fujita	A Method for Ensuring Consistency of Software Design Information in Retrospective Computer Validation.	KES (2)	2008	DBLP DOI BibTeX RDF	Retrospective Computer Validation, Pharmaceutical Production System, Design Information Database, Consistency
19	José Luis Delgado, Covadonga Rodrigo, Gonzalo León	Experiments in Calibration and Validation for Medical Content-Based Images Retrieval.	CLEF	2008	DBLP DOI BibTeX RDF	JAI, validation, calibration, CBIR
19	Miguel Antonio Sovierzoski, Fernanda Isabel Marques Argoud, Fernando Mendes de Azevedo	Evaluation of ANN Classifiers During Supervised Training with ROC Analysis and Cross Validation.	BMEI (1)	2008	DBLP DOI BibTeX RDF	ANN Classifier, ANN Classifier Evaluation, Cross Validation, Back-Propagation, ROC Analysis
19	Michael E. Locasto, Matthew Burnside, Angelos D. Keromytis	Online Network Forensics for Automatic Repair Validation.	IWSEC	2008	DBLP DOI BibTeX RDF	software self-healing, automatic repair validation
19	Ghassan Hamarneh, Preet Jassi, Lisa Tang	Simulation of Ground-Truth Validation Data Via Physically- and Statistically-Based Warps.	MICCAI (1)	2008	DBLP DOI BibTeX RDF	simulation, segmentation, validation, deformation, variation, vibration, non-uniformity
19	Jennifer Sobey, Robert Biddle, Paul C. van Oorschot, Andrew S. Patrick	Exploring User Reactions to New Browser Cues for Extended Validation Certificates.	ESORICS	2008	DBLP DOI BibTeX RDF	extended validation certificates, user study, Usable security, browser security
19	Giorgio Di Natale, Marie-Lise Flottes, Bruno Rouzeyre	An Integrated Validation Environment for Differential Power Analysis.	DELTA	2008	DBLP DOI BibTeX RDF	Secure chips, Validation, DPA
19	Armin Seyfried, Andreas Schadschneider	Fundamental Diagram and Validation of Crowd Models.	ACRI	2008	DBLP DOI BibTeX RDF	fundamental diagram, model validation, empirical data
19	Kurt Jensen, Lars Michael Kristensen, Lisa Wells	Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Simulation, Model checking, Verification, Performance analysis, Validation, Visualisation, Coloured Petri Nets, Discrete-event systems, State space methods, Behavioural modelling
19	Cristina Satizábal, Rafael Martínez-Peláez, Jordi Forné, Francisco Rico-Novella	Reducing the Computational Cost of Certification Path Validation in Mobile Payment.	EuroPKI	2007	DBLP DOI BibTeX RDF	certification path validation, hash chains, mobile payment, Public Key Infrastructure (PKI)
19	Frank Schwartzenburg, William Oates, Jennifer Park, Donald Johnson, Marcy Stutzman, Michael Bailey, Simone Youngblood	Verification, validation, and accreditation (VV&A): one voice --- unified, common & cross-cutting.	SCSC	2007	DBLP BibTeX RDF	accreditation (VV&A), practice(s), process(es), verification, validation, templates
19	Mazen Malek Shiaa, Jan Ove Fladmark	Validation Aspects of Automatic Service Composition.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF	validation, semantic annotations, service platforms, automatic service composition