|
|
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 |
19 | Geguang Pu, Jianqi Shi, Zheng Wang 0005, Lu Jin, Jing Liu 0012, Jifeng He 0001 |
The Validation and Verification of WSCDL. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
WSCDL, Verification, Validation |
19 | Amy L. Olex, David J. John, Elizabeth M. Hiltbold, Jacquelyn S. Fetrow |
Additional limitations of the clustering validation method figure of merit. |
ACM Southeast Regional Conference |
2007 |
DBLP DOI BibTeX RDF |
FOM, cluster validation method, clustering, similarity measure, cluster analysis, K-means, gene expression, distance metric, Euclidean distance, correlation coefficient, figure of merit, Pearson's correlation coefficient |
19 | Shinji Kikuchi, Satoshi Tsuchiya, Motomitsu Adachi, Tsuneo Katsuyama |
Policy Verification and Validation Framework Based on Model Checking Approach. |
ICAC |
2007 |
DBLP DOI BibTeX RDF |
policy verification and validation, on-demand data center, model checking, resource management, autonomic system, policy-based management |
19 | Hao Wu, Jonathan L. Shapiro |
Parameter cross-validation and early-stopping in univariate marginal distribution algorithm. |
GECCO |
2007 |
DBLP DOI BibTeX RDF |
early-stopping, univariate marginal distribution algorithm (UMDA), cross-validation, overfitting |
19 | Friedrich Steimann, Heribert Vollmer |
Exploiting practical limitations of UML diagrams for model validation and execution. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
Validation of models, Modelling, UML, Modelling language |
19 | Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic |
Preface of "Specification and Validation of Real Time and Embedded systems in UML". |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Modeling, UML, Real time, Semantics, Formal verification, Software development, Validation |
19 | Daniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner |
Performance Model Interchange Format: Semantic Validation. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
Semantic validation, XML, Performance Models, SPE, Queueing Network Models, Tool interoperability, Interchange Format |
19 | Linda Schmalbeck, Jonathan Stuart-Moore, Monte Evans |
Adapting peer verification, validation and accreditation processes for digital libraries. |
JCDL |
2006 |
DBLP DOI BibTeX RDF |
VV&A, content review, standards, validation, computational science, accreditation, educator resources |
19 | Margaret Gaitatzes Kostoulas, Morris Matsa, Noah Mendelsohn, Eric Perkins, Abraham Heifets, Martha Mercaldi |
XML screamer: an integrated approach to high performance XML parsing, validation and deserialization. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
JAX-RPC, schema compilation, XML, performance, validation, parsing, XML schema, SAX |
19 | Devinder Thapa, Chang Mok Park, Suraj Dangol, Gi-Nam Wang |
III-Phase Verification and Validation of IEC Standard Programmable Logic Controller. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
Verification & Validation (V&V), Virtual Commissioning, Flexible Manufacturing System (FMS), Model Checking, PLC |
19 | Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron |
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. |
IHM |
2006 |
DBLP DOI BibTeX RDF |
CARE properties, multi-modal HCI, proof based technique, verification/validation |
19 | Margaret A. Wojcicki, Paul A. Strooper |
A state-of-practice questionnaire on verification and validation for concurrent programs. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
validation technologies, verification, concurrency, survey |
19 | Amitava Majumdar 0002, Wei-Yu Chen, Jun Guo |
Hold time validation on silicon and the relevance of hazards in timing analysis. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
hold time validation, ATPG, timing analysis, delay test |
19 | Mikael Gustafsson, Michael Hornquist, Anna Lombardi |
Constructing and Analyzing a Large-Scale Gene-to-Gene Regulatory Network-Lasso-Constrained Inference and Biological Validation. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2005 |
DBLP DOI BibTeX RDF |
outdegree, validation, time series analysis, Biology and genetics, gene network, Lasso, network problems, network inference, yeast |
19 | Arnab Roy 0001, Subrat Kumar Panda, Rajeev Kumar 0004, P. P. Chakrabarti 0001 |
A framework for systematic validation and debugging of pipeline simulators. |
ACM Trans. Design Autom. Electr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Simulation-based verification, dataflow equivalence, pipeline validation, design space exploration, instruction scheduling, pipelined architectures |
19 | David A. Joiner, Steven I. Gordon, Scott A. Lathrop, Marilyn McClelland, D. E. Stevenson |
Applying verification, validation, and accreditation processes to digital libraries. |
JCDL |
2005 |
DBLP DOI BibTeX RDF |
verification, digital library, validation, peer review, accreditation |
19 | Lester O. Lobo, James D. Arthur |
Local and global analysis: complementary activities for increasing the effectiveness of requirements verification and validation. |
ACM Southeast Regional Conference (2) |
2005 |
DBLP DOI BibTeX RDF |
verification, validation, requirements, analysis |
19 | Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul |
Simulation Verification and Validation by Dynamic Policy Enforcement. |
Annual Simulation Symposium |
2005 |
DBLP DOI BibTeX RDF |
Automated Policy Specification and Enforcement, Simulation, Verification and Validation |
19 | Mark Sherriff |
Utilizing verification and validation certificates to estimate software defect density. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
validation and verification management, reliability estimation, software reliability engineering |
19 | Andres Rojas, Philip Branch, Grenville J. Armitage |
Experimental validation of the random waypoint mobility model through a real world mobility trace for large geographical areas. |
MSWiM |
2005 |
DBLP DOI BibTeX RDF |
validation, mobility model |
19 | Theresa Cooke, Florian Steinke, Christian Wallraven, Heinrich H. Bülthoff |
A similarity-based approach to perceptual feature validation. |
APGV |
2005 |
DBLP DOI BibTeX RDF |
haptic, validation, perception, texture, similarity, shape, features, vision, multidimensional scaling, touch |
19 | Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente |
Directed explicit-state model checking in the validation of communication protocols. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Directed search, Protocol validation |
19 | Fulvio Corno, Ernesto Sánchez 0001, Matteo Sonza Reorda, Giovanni Squillero |
Code Generation for Functional Validation of Pipelined Microprocessors. |
J. Electron. Test. |
2004 |
DBLP DOI BibTeX RDF |
pipelined micro processors, evolutionary algorithms, functional validation, automatic test program generation |
19 | Zheng-Yu Niu, Dong-Hong Ji, Chew Lim Tan |
Document clustering based on cluster validation. |
CIKM |
2004 |
DBLP DOI BibTeX RDF |
cluster number estimation, feature selection, document clustering, cluster validation |
19 | Qiang Zhu 0005, Ryosuke Oishi, Takashi Hasegawa, Tsuneo Nakata |
System-on-chip validation using UML and CWL. |
CODES+ISSS |
2004 |
DBLP DOI BibTeX RDF |
specification modeling, UML, validation and verification, verification process |
19 | Hojung Cha, Rhan Ha, Jane W.-S. Liu |
Experimental Analysis of Timing Validation Methods for Distributed Real-Time Systems. |
J. Supercomput. |
2003 |
DBLP DOI BibTeX RDF |
nonmigratable jobs, performance evaluation, validation, schedulability analysis, distributed real-time system |
19 | Tomas Berling, Thomas Thelin |
An Industrial Case Study of the Verification and Validation Activities. |
IEEE METRICS |
2003 |
DBLP DOI BibTeX RDF |
fault detection technique, software process metrics, software testing, case study, software process improvement, incremental development, software validation |
19 | Chang-Shing Perng, David Thoenen, Genady Grabarnik, Sheng Ma, Joseph L. Hellerstein |
Data-driven validation, completion and construction of event relationship networks. |
KDD |
2003 |
DBLP DOI BibTeX RDF |
ERN Construction, ERN Validation, action oriented-analysis, event management methodology, event relationship networks, proactive management, root cause analysis |
19 | T. Suman Kumar Reddy, Hrushikesha Mohanty, R. K. Ghosh, Sanjay Madria |
Two Distributed Algorithms for E-ticket Validation protocols for Mobile Clients. |
CEC |
2003 |
DBLP DOI BibTeX RDF |
E-Ticket, Validation, Distributed Computing Environment, Mobile Computing Environment |
19 | Bengt Öhman |
Discrete Sensor Validation with Multilevel Flow Models. |
IEEE Intell. Syst. |
2002 |
DBLP DOI BibTeX RDF |
multilevel flow models, sensor validation, real-time, diagnosis, operator support systems |
19 | Marvin V. Zelkowitz, Ioana Rus |
The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
Evolutionary software, Life and mission critical software, Process characterization, Space Shuttle program, Software independent verification and validation, Software safety and reliability, Metrics, Maintenance |
19 | Cédric Besse, Ana R. Cavalli, Ferhat Khendek |
Partial Validation of a Design Specification with Respect to Requirements. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
MSC views, MSC traces, Specification, Validation, Requirement, SDL, MSC |
19 | Hussain Al-Asaad, John P. Hayes |
Logic Design Validation via Simulation and Automatic Test Pattern Generation. |
J. Electron. Test. |
2000 |
DBLP DOI BibTeX RDF |
test generation, logic design, fault simulation, error modeling, design validation |
19 | Tapas Kanungo, Robert M. Haralick, Henry S. Baird, Werner Stuetzle, David Madigan |
A Statistical, Nonparametric Methodology for Document Degradation Model Validation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2000 |
DBLP DOI BibTeX RDF |
nonparametric statistical tests, permutation tests, document degradation models, OCR, simulation models, Model validation |
19 | Vincenzo Gervasi, Bashar Nuseibeh |
Lightweight Validation of Natural Language Requirements: A Case Study. |
ICRE |
2000 |
DBLP DOI BibTeX RDF |
Natural language requirements, requirements validation, lightweight formal methods |
19 | Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham |
Validation of PowerPC(tm) Custom Memories using Symbolic Simulation. |
VTS |
2000 |
DBLP DOI BibTeX RDF |
Simulation, Validation, Memories, Assertions, Symbolic |
19 | Wei-Tek Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang |
Verification and Validation of Knowledge-Based Systems. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
reliability, verification, testing, knowledge-based systems, validation, dependability, Expert systems |
19 | Katherine Curtis, Oliver Draper |
Multimedia Content Management - Provision of Validation and Personalization Services. |
ICMCS, Vol. 2 |
1999 |
DBLP DOI BibTeX RDF |
Validation, Personalisation, Content Management |
19 | Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo |
Formal Development and Validation of Java Dependable Distributed Systems. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
Structuring Complex Concurrent Systems, CO_OPN/2, Formal Development Stepwise Refinement, Design for Validation, CA Actions |
19 | Peter Haumer, Klaus Pohl, Klaus Weidenhaupt 0002 |
Requirements Elicitation and Validation with Real World Scenes. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
scenario-based requirements engineering, process-integrated environments, software development, scenario, requirements elicitation, goal modeling, Requirements management, requirements traceability, requirements validation, rich media |
19 | Susana Stoica |
A lifecycle approach to design validation is it necessary? Is it feasible? |
ITC |
1998 |
DBLP DOI BibTeX RDF |
Lifecycle test, system approach to design and test, Robust Test Methodology (RTM), Design Validation (DV), software /hardware test methods, requirements specifications test, QA-type testing, Test Plan (TP) boilerplate, test optimization considering full lifecycle DV, black box testing, white box testing |
19 | Jiming Liu 0001, Michel C. Desmarais |
A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation-Based Validation. |
IEEE Trans. Knowl. Data Eng. |
1997 |
DBLP DOI BibTeX RDF |
Belief-network induction, implication networks, implication-network induction, knowledge engineering, Monte-Carlo simulation, learning algorithms, probabilistic reasoning, empirical validation, evidential reasoning |
19 | Chie Dou |
Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation |
19 | Anthony Boswell |
Specification and Validation of a Security Policy Model. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Security, modeling, formal specification, validation, Z, security policy model |
19 | Giacomo Bucci, Enrico Vicario |
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Time-critical systems, model partitioning, incremental state space enumeration, state space projection, compositional validation, time Petri Nets, finite state models |
19 | Minoru Asogawa, Yukiko Fujiwara, Akihiko Konagaya |
A combination of a functional motif model and a structural motif model for a database validation. |
HICSS (5) |
1995 |
DBLP DOI BibTeX RDF |
functional motif model, structural motif model, database validation, leucine zipper motif, twisted alpha helix sequences, DNA binding site, alpha helix region, Swiss Protein database, helical structures, PDB database, neural network, hidden Markov models, HMM, hidden Markov model, database management systems, neural nets, DNA, genetics, biology computing, subsequence |
19 | Kirsten Mark Hansen |
Validation of a Railway Interlocking Model. |
FME |
1994 |
DBLP DOI BibTeX RDF |
Application of formal methods, simulation, model validation, railway interlocking |
19 | Uma G. Gupta |
Validation and verification of knowledge-based systems: A survey. |
Appl. Intell. |
1993 |
DBLP DOI BibTeX RDF |
evaluation, verification, testing, knowledge-based systems, Validation |
19 | D. A. Thomas, Bernard Pagurek, Raymond J. A. Buhr |
Validation Algorithms for Pointer Values in DBTG DataBases. |
ACM Trans. Database Syst. |
1977 |
DBLP DOI BibTeX RDF |
database utilities, validation, database integrity, type checking |
19 | Justin Emile Gottschlich, Manish Vachharajani, Jeremy G. Siek |
An efficient software transactional memory using commit-time invalidation. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
commit-time invalidation, software transactional memory |
19 | Antti Lehmussola, Pekka Ruusuvuori, Jyrki Selinummi, Heikki Huttunen, Olli Yli-Harja |
Computational Framework for Simulating Fluorescence Microscope Images With Cell Populations. |
IEEE Trans. Medical Imaging |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Dumitru Brinza, Alexander Zelikovsky |
Discrete Methods for Association Search and Status Prediction in Genotype Case-Control Studies. |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Cornelia Caragea, Jivko Sinapov, Vasant G. Honavar, Drena Dobbs |
Assessing the Performance of Macromolecular Sequence Classifiers. |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jong-Hoon Oh, Hitoshi Isahara |
Extracting English-Korean Transliteration Pairs from Web Corpora. |
ICCPOL |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Krishnan Murugan, Sivasankar, Balaji Coimbatore GaneshSankar, Sethu Shanmugavel |
Implementation and Performance Study of Route Caching Mechanisms in DSR and HER Routing Algorithms for MANET. |
ISPA |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jeff Offutt, Ye Wu, Xiaochen Du, Hong Huang |
Bypass Testing of Web Applications. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Rob Gerth |
Model Checking if Your Life Depends on It a View from Intel's Trenches. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Ron Kohavi |
The Power of Decision Tables. |
ECML |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Subhasish Mitra |
Robust System Design. |
VLSI Design |
2010 |
DBLP DOI BibTeX RDF |
Robust systems, IFRA, BISER, Built-In Soft Error Resilience, Circuit Failure Prediction, On-line Self-Test, Reliability, Validation, aging, soft errors, post-silicon validation |
18 | Juan Carlos Martínez Santos, Yunsi Fei, Zhijie Jerry Shi |
PIFT: efficient dynamic information flow tracking using secure page allocation. |
WESS |
2009 |
DBLP DOI BibTeX RDF |
control flow validation, security attacks, program validation |
18 | Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai |
Comparing Fault-Proneness Estimation Models. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
fault-proneness estimation, fault-proneness prediction, maintenance, cross validation, empirical validation |
18 | Mario Piattini, Coral Calero, Marcela Genero |
Table Oriented Metrics for Relational Databases. |
Softw. Qual. J. |
2001 |
DBLP DOI BibTeX RDF |
databases, metrics, quality, empirical validation, GQM, formal validation |
18 | Ping Luo 0001, Hui Xiong 0001, Guoxing Zhan, Junjie Wu 0002, Zhongzhi Shi |
Information-Theoretic Distance Measures for Clustering Validation: Generalization and Normalization. |
IEEE Trans. Knowl. Data Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir A. Frolov, Erik Reeber, Armaghan Naik |
Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Antonio Muñoz 0001, Antonio Maña, Daniel Serrano |
AVISPA in the Validation of Ambient Intelligence Scenarios. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Prennschütz-Schützenau, Nirmal Mukhi, Satoshi Hada, Naoto Sato, Fumiko Satoh, Naohiko Uramoto |
Static vs. Dynamic Validation of BSP Conformance. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère |
Modeling, Validation, and Verification of PCEP Using the IF Language. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Michael Von Riegen, Norbert Ritter |
Reliable Monitoring for Runtime Validation of Choreographies. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Lars Michael Kristensen, Kurt Jensen |
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. |
Trans. Petri Nets Other Model. Concurr. |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Miron Abramovici |
In-System Silicon Validation and Debug. |
IEEE Des. Test Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb |
Semantics for Model-Based Validation of Continuous/Discrete Systems. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Kaiyu Chen, Sharad Malik, Priyadarsan Patra |
Runtime validation of memory ordering using constraint graph checking. |
HPCA |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Tong-Lee Lim, Anantharaman Lakshminarayanan, Vira Saksen |
A Practical and Efficient Tree-List Structure for Public-Key Certificate Validation. |
ACNS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Wei Zhang 0020, Robert A. van Engelen |
High-Performance XML Parsing and Validation with Permutation Phrase Grammar Parsers. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Yuejian Wu, Sandy Thomson, Han Sun, Chandra Bontu, Eric Hall |
Built-in functional tests for fast validation of a 40Gbps coherent optical receiver SoC ASIC. |
SoCC |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Kaiyu Chen, Sharad Malik, Priyadarsan Patra |
Runtime Validation of Transactional Memory Systems. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Philipp Peti, Armin Timmerberg, Thomas Pfeffer, Simon Muller, Christoph Rätz |
A quantitative study on automatic validation of the diagnostic services of Electronic Control Units. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Michela Farenzena, Adrien Bartoli, Youcef Mezouar |
Efficient Camera Smoothing in Sequential Structure-from-Motion Using Approximate Cross-Validation. |
ECCV (3) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jan Sudeikat, Wolfgang Renz |
A Systemic Approach to the Validation of Self-Organizing Dynamics within MAS. |
AOSE |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jeff Offutt, Qingxiang Wang, Joann J. Ordille |
An Industrial Case Study of Bypass Testing on Web Applications. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Software testing, web applications, industry case study |
18 | Todd J. Foster, Dennis L. Lastor, Padmaraj Singh |
First Silicon Functional Validation and Debug of Multicore Microprocessors. |
IEEE Trans. Very Large Scale Integr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou |
Observability Analysis on HDL Descriptions for Effective Functional Validation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ricardo Jorge Machado 0001, Kristian Bisgaard Lassen, Sérgio Oliveira, Marco Couto 0002, Patrícia Pinto |
Requirements Validation: Execution of UML Models with CPN Tools. |
Int. J. Softw. Tools Technol. Transf. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Wayne R. Blanding, Peter K. Willett, Yaakov Bar-Shalom |
Offline and Real-Time Methods for ML-PDA Track Validation. |
IEEE Trans. Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Yuichi Nakamura 0003, Fumiko Satoh, Hyen-Vui Chung |
Syntactic Validation of Web Services Security Policies. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Evgeny Gladilin, Karl Rohr, Roland Eils |
On Validation of Non-physical Techniques for Elastic Image Registration. |
Bildverarbeitung für die Medizin |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Rodrigo Santamaría, Luis Quintales, Roberto Therón |
Methods to Bicluster Validation and Comparison in Microarray Data. |
IDEAL |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Robert G. Sargent |
A tutorial on verification and validation of simulation models (1984). |
WSC |
2007 |
DBLP BibTeX RDF |
|
18 | Juan Luis Jiménez Laredo, Pedro Ángel Castillo Valdivieso, Ben Paechter, Antonio Miguel Mora, Eva Alfaro-Cid, Anna Esparcia-Alcázar, Juan Julián Merelo Guervós |
Empirical Validation of a Gossiping Communication Mechanism for Parallel EAs. |
EvoWorkshops |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Anselmo Peñas, Álvaro Rodrigo, Felisa Verdejo |
Overview of the Answer Validation Exercise 2007. |
CLEF |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Yi Liu 0023, Taghi M. Khoshgoftaar, Jenq-Foung Yao |
Building a Novel GP-Based Software Quality Classifier Using Multiple Validation Datasets. |
IRI |
2007 |
DBLP DOI BibTeX RDF |
|
18 | H. Liu, Leo Selavo, John A. Stankovic |
SeeDTV: deployment-time validation for wireless sensor networks. |
EmNets |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Duffner, Christophe Garcia |
An Online Backpropagation Algorithm with Validation Error-Based Adaptive Learning Rate. |
ICANN (1) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Loganathan Lingappan, Vijay Gangaram, Niraj K. Jha |
Fast Enhancement of Validation Test Sets to Improve Stuck-at Fault Coverage for RTL circuits. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Lovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange |
Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
Goal and scenario validation: a fluent combination. |
Requir. Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Nathan Crilly, P. John Clarkson, Alan F. Blackwell |
Using Research Diagrams for Member Validation in Qualitative Research. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary |
XML Document Correction: Incremental Approach Activated by Schema Validation. |
IDEAS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, László Gönczy, András Pataricza, György Csertán |
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Alexander Kamkin |
The UniTESK Approach to Specification-Based Validation of Hardware Designs. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 28136 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|