Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Aldo Gangemi, Carola Catenacci, Massimiliano Ciaramita, Jos Lehmann	Modelling Ontology Evaluation and Validation.	ESWC	2006	DBLP DOI BibTeX RDF
18	Michael F. Spear, Virendra J. Marathe, William N. Scherer III, Michael L. Scott	Conflict Detection and Validation Strategies for Software Transactional Memory.	DISC	2006	DBLP DOI BibTeX RDF
18	Joaquín Torres-Sospedra, Carlos Hernández-Espinosa, Mercedes Fernández-Redondo	Improving Adaptive Boosting with k-Cross-Fold Validation.	ICIC (1)	2006	DBLP DOI BibTeX RDF
18	Venkita Subramonian, Christopher D. Gill	Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems.	ASWSD	2006	DBLP DOI BibTeX RDF
18	Iulian Ober, Susanne Graf, David Lesens	Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.	FMOODS	2006	DBLP DOI BibTeX RDF
18	Mohamed Aounallah, Guy W. Mineau	Rule Validation of a Meta-classifier Through a Galois (Concept) Lattice and Complementary Means.	CLA	2006	DBLP DOI BibTeX RDF
18	Kaiyu Chen, Sharad Malik	Dependable Multithreaded Processing Using Runtime Validation.	PRDC	2006	DBLP DOI BibTeX RDF
18	Hui Liu, Hee Beng Kuan Tan	An Approach to Aid the Understanding and Maintenance of Input Validation.	ICSM	2006	DBLP DOI BibTeX RDF
18	Hans-Joachim Mucha	On Validation of Hierarchical Clustering.	GfKl	2006	DBLP DOI BibTeX RDF
18	Doug Fraedrich	Validation Techniques for Image-Based Simulations.	AIPR	2006	DBLP DOI BibTeX RDF
18	Phan Cong Vinh, Jonathan P. Bowen	Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems.	ECBS	2005	DBLP DOI BibTeX RDF
18	Thomas Hubbard, Raimondas Lencevicius, Edu Metz, Gopal Raghavan	Performance Validation on Multicore Mobile Devices.	VSTTE	2005	DBLP DOI BibTeX RDF
18	Mats Per Erik Heimdahl	A Case for Specification Validation.	VSTTE	2005	DBLP DOI BibTeX RDF
18	Soohong P. Kim	Pre-Silicon Validation of IPF Memory Ordering for Multi-Core Processors.	MTV	2005	DBLP DOI BibTeX RDF
18	Prabhat Mishra 0001, Heon-Mo Koo, Zhuo Huang	Language-driven Validation of Pipelined Processors using Satisfiability Solvers.	MTV	2005	DBLP DOI BibTeX RDF
18	Jerry Gao 0002, Raquel Espinoza, Jingsha He	Testing Coverage Analysis for Software Component Validation.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	component test coverage, test coverage analysis, component testing
18	Kennet Henningsson, Claes Wohlin	Risk-Based Trade-Off Between Verification and Validation - An Industry-Motivated Study.	PROFES	2005	DBLP DOI BibTeX RDF
18	Sharad Malik	A Case for Runtime Validation of Hardware.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
18	David Bomba	Evaluating the Quality of Health Web Sites: Developing a Validation Method and Rating Instrument.	HICSS	2005	DBLP DOI BibTeX RDF
18	Kaliappa Nadar Ravindran, Kevin A. Kwiat, Gwangyu Ding	Simulation-Based Validation of Protocols for Distributed Systems.	HICSS	2005	DBLP DOI BibTeX RDF
18	Chun Luo, Jun Yang 0006, Longxing Shi, Xufan Wu, Yu Zhang	Domain Strategy and Coverage Metric for Validation.	ISQED	2005	DBLP DOI BibTeX RDF
18	Jacqueline Floch, Rolv Bræk	A Compositional Approach to Service Validation.	SDL Forum	2005	DBLP DOI BibTeX RDF
18	Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic	SVERTS - Specification and Validation of Real-Time and Embedded Systems.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
18	Denilson Barbosa 0001, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas	Efficient Incremental Validation of XML Documents.	ICDE	2004	DBLP DOI BibTeX RDF
18	Sara Blanc, Joaquin Gracia, Pedro J. Gil	Experiences during the Experimental Validation of the Time-Triggered Architecture.	DATE	2004	DBLP DOI BibTeX RDF
18	Minho Kim, Hyunjin Yoo, R. S. Ramakrishna	Cluster Validation for High-Dimensional Datasets.	AIMSA	2004	DBLP DOI BibTeX RDF	high-dimensional clustering, unsupervised learning, cluster validity index
18	Angus Graham, Thiruvengadam Radhakrishnan, Clifford Grossner	Incremental Validation of Policy-Based Systems.	POLICY	2004	DBLP DOI BibTeX RDF
18	Francisco L. Valverde, Nicolás Guil, Enrique Domínguez Merino, José Muñoz-Pérez	A Statistical Validation of Vessel Segmentation in Medical Images.	IBERAMIA	2004	DBLP DOI BibTeX RDF
18	Giuliano Antoniol, Roberto Fiutem, Christopher J. Lokan	Object-Oriented Function Points: An Empirical Validation.	Empir. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Size prediction, OO size estimation, software metrics
18	Martin Gogolla, Jörn Bohling, Mark Richters	Validation of UML and OCL Models by Automatic Snapshot Generation.	UML	2003	DBLP DOI BibTeX RDF
18	Jörg Desel, Vesna Milijic, Christian Neumair	Model Validation in Controller Design.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
18	Sina Rezvani, Girijesh Prasad	A Hybrid System with Multivariate Data Validation and Case Base Reasoning for an Efficient and Realistic Product Formulation.	ICCBR	2003	DBLP DOI BibTeX RDF
18	Yannis Papakonstantinou, Victor Vianu	Incremental Validation of XML Documents.	ICDT	2003	DBLP DOI BibTeX RDF
18	Robert J. Hall 0001, Andrea Zisman	Overview of OpenModel-based Validation with Partial Information.	ASE	2003	DBLP DOI BibTeX RDF
18	Gopalakrishna Raghavan	Introducing Object Validation and Navigation in Software Process to Improve Software Quality.	PROFES	2002	DBLP DOI BibTeX RDF
18	Carina Andersson, Per Runeson	Verification and Validation in Industry -- A Qualitative Survey on the State of Practice.	ISESE	2002	DBLP DOI BibTeX RDF
18	Michael K. Ng 0001, Joshua Zhexue Huang	M-FastMap: A Modified FastMap Algorithm for Visual Cluster Validation in Data Mining.	PAKDD	2002	DBLP DOI BibTeX RDF
18	Vincenzo Grassi, Vittorio Cortellessa, Raffaela Mirandola	Performance Validation of Mobile Software Architectures.	Performance	2002	DBLP DOI BibTeX RDF
18	Julio Mellado, Juan C. Dueñas	Automated Validation Environment for a Product Line of Railway Traffic Control Systems.	PFE	2001	DBLP DOI BibTeX RDF
18	Marius Bozga, Susanne Graf, Laurent Mounier	Automated Validation of Distributed Software Using the IF Environment.	NCA	2001	DBLP DOI BibTeX RDF
18	Pradip Bose	Ensuring Dependable Processor Performance: An Experience Report on Pre-Silicon Performance Validation.	DSN	2001	DBLP DOI BibTeX RDF
18	Cléver Ricardo Guareis de Farias, Luís Ferreira Pires, Wanderley Lopes de Souza, Célio Estevan Morón	Specification and Validation of a Real-Time Parallel Kernel Using LOTOS.	MASCOTS	2001	DBLP DOI BibTeX RDF
18	Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon	A Modular Approach to the Specification and Validation of an Electrical Flight Control System.	FME	2001	DBLP DOI BibTeX RDF	Verification, Modularity, Test Generation, Case Tools, Heterogeneous Specification
18	Scott D. Simpkins, Eugene P. Paulo, Lyn R. Whitaker	Case study in modeling and simulation validation methodology.	WSC	2001	DBLP DOI BibTeX RDF
18	Robert G. Sargent	Verification and validation: some approaches and paradigms for verifying and validating simulation models.	WSC	2001	DBLP DOI BibTeX RDF
18	Arne Ansper, Ahto Buldas, Meelis Roos, Jan Willemson	Efficient Long-Term Validation of Digital Signatures.	Public Key Cryptography	2001	DBLP DOI BibTeX RDF
18	Jan Struyf, Hendrik Blockeel	Efficient Cross-Validation in ILP.	ILP	2001	DBLP DOI BibTeX RDF
18	Wuwei Shen, Kevin J. Compton, James Huggins	A UML Validation Toolset Based on Abstract State Machines.	ASE	2001	DBLP DOI BibTeX RDF
18	Fernando Pedone	Optimistic Validation of Electronic Tickets.	SRDS	2001	DBLP DOI BibTeX RDF
18	Oscar Slotosch	Modelling and Validation: AUTOFOCUS and Quest.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Model checking, Interactive theorem proving, State transition diagrams, Event traces
18	Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Alberto Manzone, Alessandro Pincetti	Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience.	DATE	2000	DBLP DOI BibTeX RDF
18	Kwok-Wa Lam, Victor C. S. Lee, Sang Hyuk Son	Real-Time Transaction Processing Using Two-Stage Validation in Broadcast Disks.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
18	Christof Ebert, Casimiro Hernandez Parro, Roland Suttels, Harald Kolarczyk	Improving Validation Activities in a Global Software Development.	IWSM	2000	DBLP DOI BibTeX RDF
18	Li-C. Wang, Magdy S. Abadir	Experience in Validation of PowerPCTM Microprocessor Embedded Arrays.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	assertion test generation, assertion, array, design error, logic verification, symbolic trajectory evaluation
18	Diego Del Gobbo, Bojan Cukic, Marcello R. Napolitano, Steve M. Easterbrook	Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems.	HASE	1999	DBLP DOI BibTeX RDF
18	Kristofer Kimbler, Carl-Henrik Hagenfeldt, Jan Ellsberger, Gustav Bergman	An Environment for IN Service Prototyping and Validation.	IS&N	1999	DBLP DOI BibTeX RDF
18	Gustavo R. Alves, Tito G. B. Amaral, José Manuel Martins Ferreira	Board-level prototype validation: a built-in controller and extended BST architecture.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
18	Amir Pnueli, Michael Siegel, Eli Singerman	Translation Validation.	TACAS	1998	DBLP DOI BibTeX RDF
18	Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite	Validation of distributed algorithms and protocols.	ICNP	1995	DBLP DOI BibTeX RDF
18	Trevor J. M. Bench-Capon, Frans Coenen, Hyacinth S. Nwana, Ray Paton, Michael J. R. Shave	Two Aspects of the Validation and Verification of Knowledge-Based Systems.	IEEE Expert	1993	DBLP DOI BibTeX RDF
17	Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi	High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.	ISoLA	2008	DBLP DOI BibTeX RDF
17	Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs	A Simulation Approach for Performance Validation during Embedded Systems Design.	ISoLA	2008	DBLP DOI BibTeX RDF
17	Sheng Li, Jun Xu, Lijun Deng	Periodic Partial Validation: Cost-Effective Source Code Validation Process in Cross-Platform Software Development Environment.	PRDC	2004	DBLP DOI BibTeX RDF
17	Osman Balci	Verification, validation, and certification of modeling and simulation applications: verification, validation, and certification of modeling and simulation applications.	WSC	2003	DBLP DOI BibTeX RDF
17	Sun Young Park, John Zimmerman	Investigating the opportunity for a smart activity bag.	CHI	2010	DBLP DOI BibTeX RDF	dual-income family, needs validation., smart bag, speed dating, ubiquitous computing, mobile devices, reminders, research through design
17	John Goodenough 0001, Rob Aitken	Post-silicon is too late avoiding the $50 million paperweight starts with validated designs.	DAC	2010	DBLP DOI BibTeX RDF	low power design, emulation, post-silicon validation
17	Lin Xie, Azadeh Davoodi	Representative path selection for post-silicon timing prediction under variability.	DAC	2010	DBLP DOI BibTeX RDF	process variations, post-silicon validation
17	Roman M. Balabin, Ravilya Z. Safieva, Ekaterina I. Lomakina	Universal technique for optimization of neural network training parameters: gasoline near infrared data example.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Cross-validation coefficient (CVC), Training iteration coefficient (TIC), Gasoline, Near infrared (NIR) spectroscopy, Artificial neural network (ANN), Multi-layer perceptron (MLP), Parameters optimization, Density
17	Keke Chen, Ling Liu 0001	"Best K": critical clustering structures in categorical datasets.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Categorical data clustering, Entropy, Cluster validation
17	Tarek Smaoui, Sascha Müller 0002, Christian Müller-Schloer	CSBIterKmeans: A New Clustering Algorithm Based on Quantitative Assessment of the Clustering Quality.	MLDM	2009	DBLP DOI BibTeX RDF	cluster analysis, k-means, clustering validation
17	Robert C. Aitken	The challenges of correlating silicon and models in high variability CMOS processes.	ISPD	2009	DBLP DOI BibTeX RDF	design validation
17	Tom Borgstrom, Eshel Haritan, Ron Wilson, David Abada, Andrew Dauman, Ramesh Chandra, Olivier Mielo, Chuck Cruse, Achim Nohl	System prototypes: virtual, hardware or hybrid?	DAC	2009	DBLP DOI BibTeX RDF	SystemC TLM, hardware/software co-verification, rapid prototype, embedded software, virtual prototype, virtual platform, system validation, FPGA prototype, system prototype
17	Jean-Baptiste Tristan, Xavier Leroy	Formal verification of translation validators: a case study on instruction scheduling optimizations.	POPL	2008	DBLP DOI BibTeX RDF	the coq proof assistant, translation validation, scheduling optimizations, verified compilers
17	Lianshan Sun, Gang Huang 0001, Hong Mei 0001	Validating Access Control Configurations in J2EE Applications.	CBSE	2008	DBLP DOI BibTeX RDF	J2EE Security, Access Control, Validation
17	Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne	Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical or Not on the Minimal Deterministic Automaton of Pref(L).	CIAA	2008	DBLP DOI BibTeX RDF	minimal automaton, geometrical language, geometricity test, temporal validation, Finite automata, regular languages
17	Damaris Pascual, Filiberto Pla, José Salvador Sánchez 0001	Cluster Stability Assessment Based on Theoretic Information Measures.	CIARP	2008	DBLP DOI BibTeX RDF	stability indices, information theory, cluster validation
17	Sanjay Misra	Validating modified cognitive complexity measure.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	scale of measure, complexity measures, measurement theory, cognitive complexity, validation criteria
17	Jurgen Martens, Ferdi Put, Etienne E. Kerre	A Fuzzy-neural Resemblance Approach to Validate Simulation Models.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Fuzzy-neural machine learning, Resemblance relations, Simulation, Validation
17	Yan Liu 0003, Bojan Cukic, Srikanth Gururajan	Validating neural network-based online adaptive systems: a case study.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Online adaptive system, Validation, Novelty detection, Support vector data description, Validity index
17	Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang	Guest Editors' Introduction: Attacking Functional Verification through Hybrid Techniques.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	hybrid technique, simulation, formal verification, functional validation
17	Leo Selavo, Anthony D. Wood, Qing Cao, Tamim I. Sookoor, H. Liu, A. Srinivasan, Yafeng Wu, Woochul Kang, John A. Stankovic, D. Young, John H. Porter	LUSTER: wireless sensor network for environmental research.	SenSys	2007	DBLP DOI BibTeX RDF	LiteTDMA, wireless sensor network, architecture, validation, implementation, network protocol, storage, mote, environmental science
17	Olga C. Santos, Jesus Boticario, Alicia Fernández del Viso, Santiago Pérez de la Cámara, Carlos Rebate Sánchez, Emmanuelle Gutiérrez y Restrepo	Basic Skills Training to Disabled and Adult Learners Through an Accessible e-Learning Platform.	HCI (7)	2007	DBLP DOI BibTeX RDF	Disabled students, Accessibility and evaluation, Basic skills market validation, Open courses, educational standards, Learning platforms
17	Jackie Sutherland, Vincent G. Duffy	Validating Optical Motion Capture Assessments of the Dynamic Aspects of Work.	HCI (12)	2007	DBLP DOI BibTeX RDF	optical motion capture, lumbar motion monitor, dynamic lifting, validation, ergonomics, digital human modeling
17	Andreas Ulrich, Alexandre Petrenko	Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	reverse engineering, Model-driven development, experience report, trace analysis, system validation, telecommunication industry, model verification
17	Vijay Gangaram, Deepa Bhan, James K. Caldwell	Functional Test Selection for High Volume Manufacturing.	MTV	2006	DBLP DOI BibTeX RDF	Functional Test Sequences, Fault Simulation Acceleration, Untestable Fault Identification, Design Validation, Test Sequence Compaction
17	Takao Terano	Exploring the Vast Parameter Space of Multi-Agent Based Simulation.	MABS	2006	DBLP DOI BibTeX RDF	Multi-Agent Based Modeling, Parameter Exploration, Genetic Algorithms, Verification and Validation, Social Systems
17	Francisco Javier Lucas Martínez, Fernando Molina Molina, José Ambrosio Toval Álvarez, Valeria de Castro, Paloma Cáceres, Esperanza Marcos	Precise WIS development.	ICWE	2006	DBLP DOI BibTeX RDF	mda, verification and validation, uml, web information systems
17	Yujian Fu, Zhijiang Dong, Xudong He	Modeling, validating and automating composition of web services.	ICWE	2006	DBLP DOI BibTeX RDF	service oriented system specification, petri nets, temporal logic, verification and validation, software architecture model
17	Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde	Generating Annotated Behavior Models from End-User Scenarios.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Scenario-based elicitation, synthesis of behavior models, incremental learning, labeled transition systems, model validation, message sequence charts, analysis tools, scenario generation, invariant generation
17	Juliane Dehnert, Armin Zimmermann	On the Suitability of Correctness Criteria for Business Process Models.	Business Process Management	2005	DBLP DOI BibTeX RDF	Validation of business process models, Petri nets, Workflow
17	Guohui Li, Bing Yang 0002, Jixiong Chen	Efficient Optimistic Concurrency Control for Mobile Real-Time Transactions in a Wireless Data Broadcast Environment.	RTCSA	2005	DBLP DOI BibTeX RDF	Mobile Real-time Transaction Processing, Hybrid Validation Policy, Data Broadcast, Optimistic Concurrency Control
17	Célestin Leupi, Mustafa Siddik Altinakar	3D Finite Element Modeling of Free-Surface Flows with Efficient k-epsilon Turbulence Model and Non-hydrostatic Pressure.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF	Characteristic method, 3D Curved open channel, secondary currents, Non-hydrostatic pressure, Validation
17	Robert J. Hall 0001, Andrea Zisman	Model interchange and integration for web services.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	OpenModel, integration, validation, behavior models, interchange
17	Wen-Kui Chang, Chun-Yuan Chen	Integrity-Enhanced Verification Scheme for Software-Intensive Organizations.	ATVA	2004	DBLP DOI BibTeX RDF	Software Capability Level, Software Integrity Level, ISO 9001:2000, Software Process Improvement (SPI), CMMI, Software Verification and Validation
17	Sandrine Cazabat, Jean-Luc Soubie	Simulation in work analysis for the design and evaluation of critical situations help systems: the case of flood management.	IHM	2003	DBLP DOI BibTeX RDF	critical situations, lwork analysis, simulation, validation, scenario
17	Daniel Amyot, Xiangyang He, Yong He, Dae Yong Cho	Generating Scenarios from Use Case Map Specifications.	QSIC	2003	DBLP DOI BibTeX RDF	XML, Validation, Transformations, Scenarios, Message Sequence Charts, Use Case Maps
17	Jacques Calmet, Anusch Daemi-Ahwazi, Regine Endsuleit, Thilo Mie	A Liberal Approach to Openness in Societies of Agents..	ESAW	2003	DBLP DOI BibTeX RDF	Society of agents, legal validation, security, knowledge society, sociology
17	Eric Vachon	A Pre-viewing Step in Video Retrieval.	EDBT Workshops	2002	DBLP DOI BibTeX RDF	query pre-validation, multimedia, metadata, video, video retrieval, video database
17	A. Diagne	Control Properties in Object-Oriented Specifications.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	Object Methodology, Control Properties, Verification & Validation, Petri Nets
17	Alaa Ibrahim, Hany H. Ammar, Sherif M. Yacoub	A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications.	ISSRE	2001	DBLP DOI BibTeX RDF	Verification an Validation, UML and statecharts, Fault Model, Fault Injection