Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Sigrid Gürgens, Javier López 0001	Suitability of a Classical Analysis Method for E-commerce Protocols.	ISC	2001	DBLP DOI BibTeX RDF	electronic commerce, cryptographic protocol, Security analysis, automatic theorem proving, protocol validation
17	Paolo Traverso, Piergiorgio Bertoli	Mechanized result verification: an industrial application.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Mechanized result verification, Online/offline checking, Validation, Decomposition, Safety critical software
17	Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h	UMLAUT: An Extendible UML Transformation Framework.	ASE	1999	DBLP DOI BibTeX RDF	UML Tools, Validation Tools, Object-Orientation, Functional Programming, Model Transformation, Formal techniques
17	J. William Atwood, Morteza Ghodrat, Dariusz Tasak	Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols.	LCN	1999	DBLP DOI BibTeX RDF	Higher Layer Signaling, SSCOP, Simulation, Formal Specification, Asynchronous Transfer Mode, Validation, Observers
17	Li-C. Wang, Magdy S. Abadir	Test Generation Based on High-Level Assertion Specification for PowerPCTM Microprocessor Embedded Arrays.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	high-level test generation, assertion test generation, design validation, logic verification, symbolic trajectory evaluation
17	Wolfgang Dzida, Regine Freitag	Making Use of Scenarios for Validating Analysis and Design.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Requirements construction, scenario types, dialectic process, prototyping, validation, work context
17	Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor	Formal Methods Pilot Project.	APSEC	1996	DBLP DOI BibTeX RDF	safety-related software development, SVRC Cogito methodology, mathematical consistency checks, formal specification, formal specification, formal methods, validation, hazard analysis, collaborative project, safety requirements, pilot project
17	Rolf Oppliger, Andres Albanese	Distance education and on-line universities.	WETICE	1996	DBLP DOI BibTeX RDF	online universities, commercial service providers, lecture dissemination, DiRK, distributed registration, conferencing system, Internet Multicast Backbone, session registration tool, validation, certification, distance education, educational technology, key distribution, MBone
17	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal specification and verification of communication protocols using automated tools .	ICECCS	1995	DBLP DOI BibTeX RDF	OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover
17	Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider	Engineering and Analysis of Fixed Priority Schedulers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	timing correctness, validation process, blocking components, fixed priority scheduling algorithms, timer-driven scheduling, event-driven scheduling, optimal timer rate, schedulability, scheduling, real-time systems, real-time applications, operating systems (computers), fixed priority schedulers, operating system kernels, scheduling theory, hardware platforms
17	Sholom M. Weiss	Small Sample Error Rate Estimation for k-NN Classifiers.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	k-NN classifiers, bootstrap estimators, cross-validation estimators, error-rate estimators, pattern recognition, pattern recognition, statistics, Monte Carlo methods, Monte Carlo simulations, estimation theory, nearest-neighbor classifiers, leaving-one-out
16	Florian Mutter, Stefanie Gareis, Bernhard Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss	Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments.	ECBS	2011	DBLP DOI BibTeX RDF	in-the-loop, simulation, validation, autonomous, vehicle, Model-based
16	Yousef Iskander, Cameron D. Patterson, Stephen D. Craven	Improved Abstractions and Turnaround Time for FPGA Design Validation and Debug.	FPL	2011	DBLP DOI BibTeX RDF	FPGA, debug, validation
16	T. Manjula Peirs, James H. Hill	Towards Adapting System Execution Traces for Validation of Enterprise Distributed System QoS Properties.	EDOCW	2011	DBLP DOI BibTeX RDF	SETAF, QoS validation, system execution traces, adaption
16	Juan Diego Rodríguez, Aritz Pérez Martínez, José Antonio Lozano 0001	Sensitivity Analysis of k-Fold Cross Validation in Prediction Error Estimation.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	k-fold cross validation, bias and variance, decomposition of the variance, sources of sensitivity, error estimation, supervised classification, prediction error
16	Lorenzo Bruzzone, Mattia Marconcini	Domain Adaptation Problems: A DASVM Classification Technique and a Circular Validation Strategy.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	validation strategy, support vector machines, semi-supervised learning, transfer learning, Domain adaptation, accuracy assessment
16	Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam	Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.	ECRTS	2010	DBLP DOI BibTeX RDF	sotware validation, real-time systems, formal verification, safety-critical systems, cyber-physical systems, Medical Devices, pacemaker
16	Andrew McHugh, Mounia Lalmas	Rethinking preservation validation with the preserved object and repository risks ontology (PORRO).	JCDL	2010	DBLP DOI BibTeX RDF	ontologies, validation, digital preservation
16	Federico Mancini 0001, Dag Hovland, Khalid A. Mughal	Investigating the Limitations of Java Annotations for Input Validation.	ARES	2010	DBLP DOI BibTeX RDF	Java, Annotations, Input Validation
16	Robert F. Erbacher	Validation for Digital Forensics.	ITNG	2010	DBLP DOI BibTeX RDF	Legal and Privacy Issues, Validation, Computer Security, Error, Digital Forensics
16	Sara Paiva, Manuel Ramos Cabrer, Alberto Gil-Solla	Semantic Query Validation in Guided-Based Systems: Assuring the Construction of Queries that Make Sense.	SNPD	2010	DBLP DOI BibTeX RDF	Semantic validation rules, semantic guided-based systems, query construction, semantic search
16	Yan Huang, Huiru Zheng, Chris D. Nugent, Paul J. McCullagh, Suzanne McDonough, Mark A. Tully, Sean O. Connor	Activity monitoring using an intelligent mobile phone: a validation study.	PETRA	2010	DBLP DOI BibTeX RDF	acceleration signal processing, adaptive step detection algorithm, intelligent mobile phone, wearable position validation, activity monitoring
16	Takahiro Fujishiro, Akane Sato, Yoko Kumagai, Tadashi Kaji, Kenichi Okada	Development of Hi-Speed X.509 Certification Path Validation System.	AINA Workshops	2010	DBLP DOI BibTeX RDF	Path Validation, Security, Certificate, PKI, X.509, Certification Path
16	Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Michele Vadursi	Experimental Validation of a Synchronization Uncertainty-Aware Software Clock.	SRDS	2010	DBLP DOI BibTeX RDF	R&SAClock, synchronization uncertainty, experimental validation
16	Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins	Architecting Fault Tolerance with Exception Handling: Verification and Validation.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	fault-tolerant software architecture, model checking, exception handling, model-based test, software verification and validation
16	Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli	A cosimulation methodology for HW/SW validation and performance estimation.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	HW/SW co-simulation, HW/SW validation, Embedded Systems
16	Federica Cavicchio, Massimo Poesio	Multimodal Corpora Annotation: Validation Methods to Assess Coding Scheme Reliability.	Multimodal Corpora	2009	DBLP DOI BibTeX RDF	multimodal corpora annotation, corpora validation, kappa statistics, Unbiased hit rate
16	Ilias N. Flaounas, Marco Turchi, Tijl De Bie, Nello Cristianini	Inference and Validation of Networks.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF	Network validation, News Outlets network, Network inference
16	Hatice Sancar, Kursat Cagiltay, Veysi Isler, Gizem Tamer, Neslihan Ozmen, Utkan Eryilmaz	Developing a Validation Methodology for Educational Driving Simulators and a Case Study.	HCI (4)	2009	DBLP DOI BibTeX RDF	Usability, Validation, Driving Simulators
16	Aydin Ulas, Olcay Taner Yildiz	An Incremental Model Selection Algorithm Based on Cross-Validation for Finding the Architecture of a Hidden Markov Model on Hand Gesture Data Sets.	ICMLA	2009	DBLP DOI BibTeX RDF	Hidden Markov model, model selection, cross-validation
16	Ho Fai Ko, Nicola Nicolici	Resource-Efficient Programmable Trigger Units for Post-Silicon Validation.	ETS	2009	DBLP DOI BibTeX RDF	programmable trigger unit, false trigger analysis, post-silicon validation
16	Ivan Jureta, John Mylopoulos, Stéphane Faulkner	Analysis of Multi-Party Agreement in Requirements Validation.	RE	2009	DBLP DOI BibTeX RDF	relative validity, requirements validation
16	Amy L. Gonzales	Validation of an inventory of social connectedness.	GROUP	2009	DBLP DOI BibTeX RDF	scale validation, social connectedness, awareness, presence
16	Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley	Rule-Based Workflow Validation of Hierarchical Service Level Agreements.	GPC Workshops	2009	DBLP DOI BibTeX RDF	Aggragation of SLAs, Hierarchical SLAs, Validation of SLAs, Rule Responder, RBSLA, Business Value Networks, Coalition Workflows, Supply Chains
16	Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte	Event-Based Input Validation Using Design-by-Contract Patterns.	ISSRE	2009	DBLP DOI BibTeX RDF	Boundary Overflow, Decision Tables, Design by Contract, Security Testing, Event Sequence Graphs, Input Validation
16	Spyros Antonatos, Quang Hieu Vu	Harnessing the Power of P2P Systems for Fast Attack Signature Validation.	NSS	2009	DBLP DOI BibTeX RDF	signature validation, P2P defenses, indexing
16	Abdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe	A Tool Suite for the Generation and Validation of Configurations for Software Availability.	ASE	2009	DBLP DOI BibTeX RDF	Availability Management Framework, Automated Configuration Generation, Validation, Domain Model, High-Availability
16	Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta	Supporting Requirements Validation: The EuRailCheck Tool.	ASE	2009	DBLP DOI BibTeX RDF	EuRailCheck, formal methods, requirements validation, ETCS
16	Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu 0001	Validation of requirement models by automatic prototyping.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	UML, Prototype, Code generation, OCL, Requirement validation
16	Feng Gu 0001, Xiaolin Hu 0002, Lewis Ntaimo	Towards validation of DEVS-FIRE wildfire simulation model.	SpringSim	2008	DBLP DOI BibTeX RDF	DEVS-FIRE, cellular space model, wildfire, validation
16	Christopher Scaffidi, Brad A. Myers, Mary Shaw	Tool support for data validation by end-user programmers.	ICSE	2008	DBLP DOI BibTeX RDF	validation, end-user programming, data
16	Emmanuel Zarpas, Cindy Eisner, Sivan Tal	Policy Validation for System Automation: A Case Study.	POLICY	2008	DBLP DOI BibTeX RDF	Tivoli, TSA, formal verification, validation, policy, PSL
16	Mary Yip, Abdulaziz Alsager, Emma Lewis, Kevin Wells, Kenneth C. Young	Validation of a Digital Mammography Image Simulation Chain with Automated Scoring of CDMAM Images.	Digital Mammography / IWDM	2008	DBLP DOI BibTeX RDF	CDMAM phantom, simulation, validation, Digital mammography
16	Andrea Baruzzo, Marco Comini	A Methodology for UML Models V&V.	ICST	2008	DBLP DOI BibTeX RDF	Software engineering, CASE tools, UML models, Validation and Verification
16	Sanjay Misra, Hürevren Kiliç	Measurement theory and validation criteria for software complexity measures.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	representation condition, complexity measure, measurement theory, validation criteria
16	Zhengyu Wang	Validation and enclosure of solutions of linear complementarity problems.	Computing	2007	DBLP DOI BibTeX RDF	validation of the solution, enclosure of the solution, H-matrix, interval analysis, Linear complementarity problem
16	Seungjae Baek, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh	Model and Validation of Block Cleaning Cost for Flash Memory.	SAMOS	2007	DBLP DOI BibTeX RDF	block cleaning, model, validation, Flash memory
16	Tom Van Woensel, Nico Vandaele	Empirical validation of a queueing approach to uninterrupted traffic flows.	4OR	2006	DBLP DOI BibTeX RDF	validation, queueing theory, Traffic flows
16	Sanjay Misra, Hürevren Kiliç	Measurement theory and validation criteria for software complexity measures.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	representation condition, complexity measure, measurement theory, validation criteria
16	Theresa Cooke, Sebastian Kannengiesser, Christian Wallraven, Heinrich H. Bülthoff	Object feature validation using visual and haptic similarity ratings.	ACM Trans. Appl. Percept.	2006	DBLP DOI BibTeX RDF	haptic, validation, perception, texture, Similarity, shape, features, vision, multidimensional scaling, touch
16	Fabio Picconi, Nishkam Ravi, Marco Gruteser, Liviu Iftode	Probabilistic validation of aggregated data in vehicular ad-hoc networks.	Vehicular Ad Hoc Networks	2006	DBLP DOI BibTeX RDF	aggregation, vehicular networks, malicious nodes, data validation
16	Jonatan Alava, Tariq M. King, Peter J. Clarke	Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF	Model Validation and Analysis, Testing and Debugging
16	Quynh-Nhu Numi Tran, Ghassan Beydoun, Graham Low, Cesar Gonzalez-Perez	Preliminary Validation of MOBMAS (Ontology-Centric Agent Oriented Methodology): Design of a Peer-to-Peer Information Sharing MAS.	AOIS	2006	DBLP DOI BibTeX RDF	Multi-agent system, validation, methodology
16	Coen De Roover, Johan Brichau, Theo D'Hondt	Combining fuzzy logic and behavioral similarity for non-strict program validation.	PPDP	2006	DBLP DOI BibTeX RDF	logic meta programming, quality assurance of object-oriented programs, program analysis, points-to analysis, fuzzy logic programming, program validation
16	Heon-Mo Koo, Prabhat Mishra 0001	Test generation using SAT-based bounded model checking for validation of pipelined processors.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	test generation, functional validation
16	Chris Roast, Babak Khazaei	An Investigation into the Validation of Formalised Cognitive Dimensions.	DSV-IS	2006	DBLP DOI BibTeX RDF	Cognitive Dimensions Framework, Theory validation, Empirical methods
16	Tibor Gyimóthy, Rudolf Ferenc, István Siket	Empirical Validation of Object-Oriented Metrics on Open Source Software for Fault Prediction.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	metrics validation, fault-proneness detection, Bugzilla, compiler wrapping, reverse engineering, C++, open source software, Mozilla, Fact extraction, Columbus
16	Xufei Liu, Tapas Kanungo, Robert M. Haralick	On the Use of Error Propagation for Statistical Validation of Computer Vision Software.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	multivariate hypothesis testing, 3D parameter estimation, software engineering, Statistical analysis, error propagation, software validation
16	Andrea Trentini, Daniela Micucci	Plan validation via petri nets in the real-time performers Java framework.	SAC	2005	DBLP DOI BibTeX RDF	validation, planning, soft real-time
16	Tim Menzies, Daniel Port, Zhihao Chen 0001, Jairus Hihn, Sherry Stukes	Validation methods for calibrating software effort models.	ICSE	2005	DBLP DOI BibTeX RDF	incremental cross-validation, COCOMO
16	Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee	Fluent-based web animation: exploring goals for requirements validation.	ICSE	2005	DBLP DOI BibTeX RDF	modelling, design, animation, validation, requirements
16	Andrei V. Gribok, Aleksey M. Urmanov, J. Wesley Hines	Uncertainty Analysis of Memory Based Sensor Validation Techniques.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	sensor validation, fault diagnostics, uncertainty, regularization, kernel regression
16	Andrey Balmin, Yannis Papakonstantinou, Victor Vianu	Incremental validation of XML documents.	ACM Trans. Database Syst.	2004	DBLP DOI BibTeX RDF	XML, validation, Update
16	Ali Mili 0001, GuangJie Jiang, Bojan Cukic, Yan Liu 0003, Rahma Ben Ayed	Towards the Verification and Validation of Online Learning Systems: General Framework and Applications.	HICSS	2004	DBLP DOI BibTeX RDF	Refinement Calculi, Neural Networks, Formal Methods, Radial Basis Functions, Adaptive Control, RBF neural networks, Verification and Validation, On-Line Learning, MLP neural networks
16	Watcharee Jumpamule, Jean-Luc Paillet, Norbert Giambiasi	Using Simulation for the Validation of High Level Specifications of Control Systems.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	discrete event control systems, multiformalism, simulation, validation
16	Mohammad R. Alshayeb, Wei Li 0014	An Empirical Validation of Object-Oriented Metrics in Two Different Iterative Software Processes.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Software metrics, empirical validation, agile process, framework evolution
16	Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec	The Reconstruction of a Mobile Agent Computation and Its Validation.	IPDPS	2003	DBLP DOI BibTeX RDF	validation, refinement, reconstruction, diffusing computation
16	Namje Park, Kiyoung Moon, Sungwon Sohn	Certificate validation service using XKMS for computational grid.	XML Security	2003	DBLP DOI BibTeX RDF	XKMS, certificate validation, security, XML, grid, key management, XML security, GSI
16	Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son, Eddie Y. M. Chan	On Transaction Processing with Partial Validation and Timestamp Ordering in Mobile Broadcast Environments.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	partial validation, concurrency control, Transaction processing, broadcast disks, mobile clients, timestamp ordering
16	Marcela Genero, Mario Piattini, Coral Calero	Empirical Validation of Class Diagram Metrics.	ISESE	2002	DBLP DOI BibTeX RDF	OO high-level metrics, UML, maintainability, class diagrams, empirical validation, structural complexity
16	Rachid Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat	Formal Validation of a Multicast Transport Protocol.	ISCC	2001	DBLP DOI BibTeX RDF	SPRM protocol, Reliability, Formal methods, Multicast, RTL, LOTOS, RT-LOTOS, Protocol validation
16	Julian Newman	Validation, Evaluation and Virtual Enterprise Research.	WETICE	2001	DBLP DOI BibTeX RDF	evaluation, CSCW, Validation, triangulation, virtual enterprise
16	Jitendra Padhye, Victor Firoiu, Donald F. Towsley, James F. Kurose	Modeling TCP Reno performance: a simple model and its empirical validation.	IEEE/ACM Trans. Netw.	2000	DBLP DOI BibTeX RDF	modeling, TCP, TCP/IP, empirical validation, retransmission timeouts
16	Manoel G. Mendonça, Victor R. Basili	Validation on an Approach for Improving Existing Measurement Frameworks.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	AF, data mining, case study, Software metrics, knowledge discovery, GQM, experimental validation, goal-oriented measurement, method evaluation
16	Edson J. R. Justino, Abdenaim El Yacoubi, Flávio Bortolozzi, Robert Sabourin	An Off-Line Signature Verification System using Hidden Markov Model and Cross-Validation.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	off-line signature verification system, pre-processing process, segmentation process, feature extraction process, random falsifications, false acceptance concept, false rejection concept, intrapersonal variation, interpersonal variation, automatic decision threshold derivation, hidden Markov model, handwriting recognition, cross-validation, learning process
16	Mun Choon Chan, Yow-Jian Lin, Xin Wang	A Scalable Monitoring Approach for Service Level Agreements Validation.	ICNP	2000	DBLP DOI BibTeX RDF	scalable monitoring, service level agreements validation, service provider network, QoS measurements, polling mechanisms, ill-behaved flows, aggregation and refinement based monitoring, dynamic QoS data aggregation/refinement, reasoning engine, quality of service, quality of service, Internet, histogram, inference mechanisms, simulation results, telecommunication traffic, computer network management, overhead, network nodes, traffic loads, computerised monitoring, Internet service provider, selective refinement, network management system
16	Robert W. Sumners, Jayanta Bhadra, Jacob A. Abraham	Automatic Validation Test Generation Using Extracted Control Models.	VLSI Design	2000	DBLP DOI BibTeX RDF	witness generation, abstraction, binary decision diagrams, automatic test generation, validation test
16	Pradip Bose	Performance Evaluation and Validation of Microprocessors.	SIGMETRICS	1999	DBLP DOI BibTeX RDF	performance evaluation, validation, processor design
16	Sridevi Lingamarla, Gautam B. Singh, John Limburg, Mary Watson, Gary Edwards, Scott Gobrogge	System for Automated Validation of Embedded Software in Multiple Operating Configurations.	ASE	1999	DBLP DOI BibTeX RDF	Requirement Validation Traceability, Embedded Systems, Requirement Engineering, Data Warehousing
16	Lionel C. Briand, Jürgen Wüst, John W. Daly, D. Victor Porter	A Comprehensive Empirical Validation of Design Measures for Object-Oriented Systems.	IEEE METRICS	1998	DBLP DOI BibTeX RDF	measurement, object-oriented, metrics, inheritance, coupling, cohesion, empirical validation
16	Charles Plinta, Richard D'Ippolito, Roger Van Scoy	A Specification and Code Generation Tool for Message Translation and Validation.	SIGAda	1998	DBLP DOI BibTeX RDF	CORBA servers, specification tool, model, Ada, interoperability, integration, validation, code generation, translation, message, model-based software engineering, Ada95
16	Don S. Batory, Bart J. Geraci	Composition Validation and Subjectivity in GenVoca Generators.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	composition validation, design rule checking, subjectivity, software generators, GenVoca
16	Ernest H. Page, Bradford S. Canova, John A. Tufarolo	A Case Study of Verification, Validation, and Accreditation for Advanced Distributed Simulation.	ACM Trans. Model. Comput. Simul.	1997	DBLP DOI BibTeX RDF	IDEF modeling, advanced distributed simulation, aggregate level simulation protocol, validation and accreditation, wargame, verification, life cycle
16	Robert J. Hall 0001	Reactive System Validation using Automated Reasoning over a Fragment Library.	ASE	1997	DBLP DOI BibTeX RDF	reactive system validation, fragment library, intermediate protocol step, protocol outcomes, CS-NC protocol, personal channel agent, eavesdropper actions, protocol message, channel identifiers, correctness, automated reasoning, software libraries, keys
16	Yanhong Li, Daniel P. Lopresti, George Nagy, Andrew Tomkins	Validation of Image Defect Models for Optical Character Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	document image defect models, OCR error classification, defect model validation, Optical character recognition
16	Elizabeth A. Kemp, Damian Pacitto, Elisabeth G. Todd, David I. Gray	The role of functional prototyping in model validation.	ISCNZ	1996	DBLP DOI BibTeX RDF	functional prototyping, KADS framework, object-oriented knowledge representation model, summer-autumn management, feed budgeting, production level analysis, knowledge acquisition, problem solving, model validation, design decisions, system implementation, domain expertise
16	Anna Jeffries, Elizabeth A. Kemp, Elisabeth G. Todd, David I. Gray, Barry Butler	The role of functional prototyping in model validation.	ISCNZ	1996	DBLP DOI BibTeX RDF	functional prototyping, dairy farm management, knowledge based systems, decision support system, software prototyping, model validation, prototype system, intelligent DSS
16	Steve M. Easterbrook, John R. Callahan	Independent validation of specifications: a coordination headache.	WETICE	1996	DBLP DOI BibTeX RDF	independent specification validation, complex projects, independent separate groups, project lifecycle, coordination problems, incremental improvements, World Wide Web tools, software development groups, communication, formal specification, software development, software analysis
16	Venkatesh Akella, Ganesh Gopalakrishnan	Specification and Validation of Control-Intensive IC's in hopCP.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	control-intensive integrated circuits, hopCP, asynchronous operations, multiple concurrent threads, Intel 8251, Universal Synchronous/Asynchronous Receiver/Transmitter, USART, synchronous message passing, distributed shared variables, asynchronous ports, compiled-code concurrent functional simulator, CFSIM, formal specification, formal methods, formal verification, specification, validation, message passing, specification languages, interrupt, digital simulation, hardware description language, microprocessor chips, hardware design, polling, computational requirements, synchronous operations
16	Yoshiaki Kakuda, Hironori Saito	An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	acyclic-expansion-based protocol validation, state transition sequences, CAPE, computer-aided protocol engineering, design, formal specification, protocols, integrated system, protocol specifications, integrated approach, software module, protocol synthesis
16	Fred U. Rosenberger, Donald F. Wann	A Computer Aided Procedure for Performing Static Loading Validation of Digital Logic Systems.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	static loading validation, digital design aids, fan-out computations, logic design aids, Computer aided design, loading
15	Ella Rabinovich, Opher Etzion, Sitvanit Ruah, Sarit Archushin	Analyzing the behavior of event processing applications.	DEBS	2010	DBLP DOI BibTeX RDF	model checking, formal verification, static analysis, dynamic analysis, event processing, event processing network
15	Damian Dechev, Bjarne Stroustrup	Model-Based Product-Oriented Certification.	ECBS	2009	DBLP DOI BibTeX RDF
15	Ansuman Banerjee, Kausik Datta, Pallab Dasgupta	CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications.	ATVA	2008	DBLP DOI BibTeX RDF
15	Fatema N. Julia, Khan M. Iftekharuddin	Dialog Act classification using acoustic and discourse information of MapTask Data.	IJCNN	2008	DBLP DOI BibTeX RDF
15	Ben H. Smith, Yonghee Shin, Laurie A. Williams	Proposing SQL statement coverage metrics.	SESS	2008	DBLP DOI BibTeX RDF	security, test, SQL, attack, SQL injection, coverage criteria, threat
15	Rui Zhang, Zoran Budimlic, William N. Scherer III	Commit phase in timestamp-based stm.	SPAA	2008	DBLP DOI BibTeX RDF	commit sequence, transactional memory, timestamp
15	Ziyad Hanna	Abstract Modeling and Formal Verification of Microprocessors.	CSR	2007	DBLP DOI BibTeX RDF
15	Jorge Campos, Hussain Al-Asaad	Circuit Profiling Mechanisms for High-Level {ATPG}.	MTV	2006	DBLP DOI BibTeX RDF
15	Joaquín Torres-Sospedra, Carlos Hernández-Espinosa, Mercedes Fernández-Redondo	Adaptive Boosting: Dividing the Learning Set to Increase the Diversity and Performance of the Ensemble.	ICONIP (1)	2006	DBLP DOI BibTeX RDF