|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9726 occurrences of 4203 keywords
|
|
|
Results
Found 28136 publication records. Showing 28136 according to the selection in the facets
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 |
|
Displaying result #201 - #300 of 28136 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|