Search results for "validation process"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Ayaz Farooq, Reiner R. Dumke	Research directions in verification & validation process improvement.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	STP, TMM, V&V, testing maturity model, verification & validation process, software process, SPI, software process improvement, SP, software test process, test process improvement
2	Raymond Wu	Validation process and component analysis in semantic mediation.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
2	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
2	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
1	Arnaud Grappy, Brigitte Grau, M.-H. Falco, Anne-Laure Ligozat, Isabelle Robba, Anne Vilnat	Selecting Answers to Questions from Web Documents by a Robust Validation Process.	Web Intelligence	2011	DBLP DOI BibTeX RDF
1	Kyu Won Kim, Woo Yeol Kim, Hyun Seung Son, Robert Young Chul Kim	A Validation Process for Real Time Transactions.	FGIT-ASEA/DRBC/EL	2011	DBLP DOI BibTeX RDF
1	Qi Li, Barry W. Boehm	Making winners for both education and research: Verification and validation process improvement practice in a software engineering course.	CSEE&T	2011	DBLP DOI BibTeX RDF
1	Patricia Laurens, Michel Zitt, Elise Bassecoulard	Delineation of the genomics field by hybrid citation-lexical methods: interaction with experts and validation process.	Scientometrics	2010	DBLP DOI BibTeX RDF
1	Jagannath Keshava, Nagib Hakim, Chinna Prudvi	Post-silicon validation challenges: how EDA and academia can help.	DAC	2010	DBLP DOI BibTeX RDF	design, verification, test, validation, emulation
1	Dean F. Sutherland, William L. Scherlis	Composable thread coloring.	PPOPP	2010	DBLP DOI BibTeX RDF	keywords: state consistency, state confinement, thread policy, java, annotation, multicore, race conditions
1	Floriana Esposito, Nicola Fanizzi, Claudia d'Amato	Recovering uncertain mappings through structural validation and aggregation with the MoTo system.	SAC	2010	DBLP DOI BibTeX RDF
1	Emad Abu-Shanab, John Pearson	Internet banking in Jordan: an Arabic instrument validation process.	Int. Arab J. Inf. Technol.	2009	DBLP BibTeX RDF
1	Martin Dimitrov, Huiyang Zhou	Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging.	ASPLOS	2009	DBLP DOI BibTeX RDF	automated debugging, architectural support
1	Hwanjo Yu, Taehoon Kim, Jinoh Oh, Ilhwan Ko, Sungchul Kim, Wook-Shin Han	Enabling multi-level relevance feedback on pubmed by integrating rank learning into DBMS.	DTMBIO	2009	DBLP DOI BibTeX RDF	ranksvm, relevance feedback, pubmed
1	Ying L. Becker, Una-May O'Reilly	Genetic programming for quantitative stock selection.	GEC Summit	2009	DBLP DOI BibTeX RDF	quantitative asset management, stock selection, genetic algorithm, genetic programming, symbolic regression
1	Alzbeta Krausová, Fabio Massacci, Ayda Saïdane	How to capture and use legal patterns in IT.	ICAIL	2009	DBLP DOI BibTeX RDF
1	Jan-Helge Deutscher, Carsten Felden	Model Concept to Determine the Optimal Maturity of IT Service Management Processes.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
1	Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente	A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.	Ada-Europe	2009	DBLP DOI BibTeX RDF	distributed systems, real-time systems, Ada 2005, high-integrity systems, Ravenscar profile
1	Anna Queralt, Ernest Teniente	Reasoning on UML Conceptual Schemas with Operations.	CAiSE	2009	DBLP DOI BibTeX RDF	operation contracts, Conceptual modeling, automatic reasoning
1	Elisa Portes dos Santos, Carolina Ribeiro Xavier, Paulo Goldfeld, Flavio Dickstein, Rodrigo Weber dos Santos	Comparing Genetic Algorithms and Newton-Like Methods for the Solution of the History Matching Problem.	ICCS	2009	DBLP DOI BibTeX RDF	Reservoir simulation, History Matching, Optimization
1	Mihai Cristian Florea, Nicolas Duclos-Hindie, Éloi Bossé, Pierre Valin	A Web-Service Approach for Multi-Sensor Data Fusion and Geographic Information Systems.	IF&GIS	2009	DBLP DOI BibTeX RDF	Multisensor data fusion, DNDAF, Web-services, SOA, GIS
1	Anna Corazza, Sergio Di Martino, Filomena Ferrucci, Carmine Gravino, Emilia Mendes	Using Support Vector Regression for Web Development Effort Estimation.	IWSM/Mensura	2009	DBLP DOI BibTeX RDF	Empirical Web Engineering, Support Vector Regression, Effort Estimation
1	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
1	Ryma Abassi, Sihem Guemara El Fatmi	Towards an automated firewall security policies validation process.	CRiSIS	2008	DBLP DOI BibTeX RDF
1	Wolfram Horstmann, Maurice Vanderfeesten, Elena Nicolaki, Natalia Manola	A Deep Validation Process for Open Document Repositories.	ELPUB	2008	DBLP BibTeX RDF
1	Thomas Arts, Laura M. Castro, John Hughes	Testing Erlang data types with quviq quickcheck.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	quickcheck, erlang, datatypes
1	Carlos Rosemberg, Albert Schilling, Cristianne Bastos, Rodrigo Araripe	Prototipação de software e design participativo: uma experiência do atlântico.	IHC	2008	DBLP DOI BibTeX RDF	participatory design, requirements, low-fidelity prototyping
1	R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil	STATEMATE to SCADE model translation.	ISEC	2008	DBLP DOI BibTeX RDF	SCADE, activity charts, model, translation, statecharts, transitions, state, reaction, STATEMATE
1	Jordi Mongay Batalla, Robert Janowski	A method for validating the aggregated signaling traffic model using simulations in ns-2 platform.	SimuTools	2008	DBLP DOI BibTeX RDF	QoS, SIP, signaling, ns-2, class of service
1	Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter P. Puschner, Jan Staschulat, Per Stenström	The worst-case execution-time problem - overview of methods and survey of tools.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	worst-case execution times, Hard real time
1	Tomas Pecenka, Lukás Sekanina, Zdenek Kotásek	Evolution of synthetic RTL benchmark circuits with predefined testability.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	evolvable hardware, testability analysis, Benchmark circuit
1	Abdellah-Medjadji Kouadri-Mostefaoui, Benaoumeur Senouci, Frédéric Pétrot	Large Scale On-Chip Networks : An Accurate Multi-FPGA Emulation Platform.	DSD	2008	DBLP DOI BibTeX RDF
1	Changchun Li, Nan Jiang, Jennie Si, Glen P. Abousleman	Robust target detection and tracking in outdoor infrared video.	ICASSP	2008	DBLP DOI BibTeX RDF
1	Hong Lee, Brijesh Verma	A novel multiple experts and fusion based segmentation algorithm for cursive handwriting recognition.	IJCNN	2008	DBLP DOI BibTeX RDF
1	Francisco J. Mesa-Martinez, Michael Brown, Joseph Nayfach-Battilana, Jose Renau	Measuring power and temperature from real processors.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Chrisa Papagianni, Nikolaos D. Tselikas, Evangelos A. Kosmatos, Andreas E. Papadakis, Thierry Keutgen, Dimitra I. Kaklamani, Iakovos S. Venieris	A complete content production and delivery system in a controlled multimedia network.	ISCC	2008	DBLP DOI BibTeX RDF
1	Shigen Shen, Guangxue Yue	Unified Certificate Validation System DNS-OCSP.	ISECS	2008	DBLP DOI BibTeX RDF
1	Yong Huat Chew, Peng Keong Tham, Shinobu Nanba, Boon Sain Yeo, Hajime Nakamura	More Results on the Validation of Gravity Model and the Effect of User Mobility in Cell Planning.	VTC Spring	2008	DBLP DOI BibTeX RDF
1	Ross Gore, Paul F. Reynolds Jr.	Applying causal inference to understand emergent behavior.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
1	Van-Hau Pham, Marc Dacier, Guillaume Urvoy-Keller, Taoufik En-Najjary	The Quest for Multi-headed Worms.	DIMVA	2008	DBLP DOI BibTeX RDF
1	George Din, Diana Vega, Ina Schieferdecker	Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking.	SEUS	2008	DBLP DOI BibTeX RDF
1	José Luis García Balboa, Francisco Javier Ariza-López	Generalization-oriented Road Line Classification by Means of an Artificial Neural Network.	GeoInformatica	2008	DBLP DOI BibTeX RDF	line classification, machine learning, artificial neural networks, knowledge acquisition, cartographic generalization
1	Angelica Caro, Coral Calero, Ismael Caballero, Mario Piattini	A proposal for a set of attributes relevant for Web portal data quality.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	Data quality attributes, Data consumer, Data quality, Web portal
1	Owen Funkhouser, Letha H. Etzkorn, William E. Hughes Jr.	A lightweight approach to software validation by comparing UML use cases with internal program documentation selected via call graphs.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	UML use cases, Software engineering, Program understanding, Software validation
1	Francisco J. Mesa-Martinez, Michael Brown, Joseph Nayfach-Battilana, Jose Renau	Measuring performance, power, and temperature from real processors.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	power and thermal measurements
1	Marcio Cabral, Marcelo Knörich Zuffo, Silvia Ghirotti, Olavo Belloc, Leonardo Nomura, Mario Nagamura, Fernanda Andrade, Regis Faria, Leandro Ferraz	An experience using X3D for virtual cultural heritage.	Web3D	2007	DBLP DOI BibTeX RDF	virtual reality, interaction, X3D, cultural heritage
1	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
1	Sanjay Misra	Validating modified cognitive complexity measure.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	scale of measure, complexity measures, measurement theory, cognitive complexity, validation criteria
1	Jin-Shea Kuo, Haizhou Li, Ying-Kuei Yang	A phonetic similarity model for automatic extraction of transliteration pairs.	ACM Trans. Asian Lang. Inf. Process.	2007	DBLP DOI BibTeX RDF	extraction of transliteration pairs, machine transliteration, phonetic confusion probability, phonetic similarity modeling, Machine translation
1	Valentina Casola, Nicola Mazzocca, Jesus Luna, Oscar Manso, Manel Medina	Static evaluation of Certificate Policies for GRID PKIs interoperability.	ARES	2007	DBLP DOI BibTeX RDF
1	Agustín Yagüe, Juan Garbajosa	Applying the Knowledge Stored in Systems Models to Derve Validation Tools and Environments.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
1	Chiu Yen Kao, Michael Hofer, Guillermo Sapiro, Josh Stern, Kelly Rehm, David A. Rottenberg	A Geometric Method for Automatic Extraction of Sulcal Fundi.	IEEE Trans. Med. Imaging	2007	DBLP DOI BibTeX RDF
1	Marta Marrón Romera, Miguel Ángel Sotelo Vázquez, Juan Carlos García García	Comparing Improved Versions of 'K-Means' and 'Subtractive' Clustering in a Tracking Application.	EUROCAST	2007	DBLP DOI BibTeX RDF	probabilistic-deterministic, clustering, tracking, particle-filters
1	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	2007	DBLP DOI BibTeX RDF	Disabled students, Accessibility and evaluation, Basic skills market validation, Open courses, educational standards, Learning platforms
1	María Jimena Costa, Hervé Delingette, Sébastien Novellas, Nicholas Ayache	Automatic Segmentation of Bladder and Prostate Using Coupled 3D Deformable Models.	MICCAI	2007	DBLP DOI BibTeX RDF	prostate, bladder, coupled deformable models, CT, 3D segmentation
1	Kioumars Namiri, Nenad Stojanovic	Pattern-Based Design and Validation of Business Process Compliance.	OTM Conferences	2007	DBLP DOI BibTeX RDF	Patterns, BPM, Regulatory Compliance, Internal Controls
1	Geoff Huston	Measures of Self-similarity of BGP Updates and Implications for Securing BGP.	PAM	2007	DBLP DOI BibTeX RDF	Secure BGP, Validation Caching, BGP
1	Jose Antonio Onieva, Javier Lopez, Rodrigo Roman, Jianying Zhou, Stefanos Gritzalis	Integration of non-repudiation services in mobile DRM scenarios.	Telecommunication Systems	2007	DBLP DOI BibTeX RDF	Mobile applications, Digital rights management, Non-repudiation, Secure electronic commerce
1	Maciej Dorsz, Mariusz Wasielewski	Automatic software validation process.	SET	2006	DBLP DOI BibTeX RDF
1	Panagiotis Zaharias	A usability evaluation method for e-learning: focus on motivation to learn.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	motivation to learn, users' affect, e-learning, usability evaluation method
1	Martha Kyrillidou, Sarah Giersch	Pilot testing the DigiQUALTM protocol: lessons learned.	JCDL	2006	DBLP DOI BibTeX RDF	digital library service quality, evaluation, libraries, educational digital libraries
1	Antonios Kogias, Dimosthenis Anagnostopoulos	A methodology for the evaluation of web graph models and a test case.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	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
1	Ilan Shimshoni, Ehud Rivlin, Octavian Soldea	Efficient Search and Verification for Function Based Classification from Real Range Images.	ICPR	2006	DBLP DOI BibTeX RDF
1	Cristina Satizábal, Rafael Páez, Jordi Forné	PKI Trust Relationships: from a Hybrid Architecture to a Hierarchical Model.	ARES	2006	DBLP DOI BibTeX RDF
1	C. Seger	Integrating design and verification - from simple idea to practical system.	MEMOCODE	2006	DBLP DOI BibTeX RDF
1	Jorge Campos, Hussain Al-Asaad	Circuit Profiling Mechanisms for High-Level {ATPG}.	MTV	2006	DBLP DOI BibTeX RDF
1	Harry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel	An Improved Test Derivation Technique.	NCA	2006	DBLP DOI BibTeX RDF
1	Hung-Yu Chien, Ru-Yu Lin	Identity-based Key Agreement Protocol for Mobile Ad-hoc Networks Using Bilinear Pairing.	SUTC	2006	DBLP DOI BibTeX RDF
1	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
1	José Antonio Marcos, Alejandra Martínez-Monés, Yannis A. Dimitriadis, Rocío Anguita	Interaction Analysis for the Detection and Support of Participatory Roles in CSCL.	CRIWG	2006	DBLP DOI BibTeX RDF
1	Erkuden Rios, Teodora Bozheva, Aitor Bediaga, Nathalie Guilloreau	MDD Maturity Model: A Roadmap for Introducing Model-Driven Development.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
1	Derek Greene, Padraig Cunningham	Efficient Prediction-Based Validation for Document Clustering.	ECML	2006	DBLP DOI BibTeX RDF
1	Jinseok Seo, Namgyu Kim, Gerard Jounghyun Kim	Designing Interactions for Augmented Reality Based Educational Contents.	Edutainment	2006	DBLP DOI BibTeX RDF
1	François Terrier, Sébastien Gérard	MDE Benefits for Distributed, Real Time and Embedded Systems.	DIPES	2006	DBLP DOI BibTeX RDF	Embedded System, Real Time, Model-Driven Engineering, UML profile
1	Gergely Mezei, Tihamer Levendovszky, Hassan Charaf	An optimizing OCL Compiler for Metamodeling and Model Transformation Environments.	SET	2006	DBLP DOI BibTeX RDF
1	Xin Zhang 0013, Guoliang Fan	Retinal Spot Lesion Detection Using Adaptive Multiscale Morphological Processing.	ISVC	2006	DBLP DOI BibTeX RDF
1	Kil Chong, Sung Yoo	Neural network prediction model for a real-time data transmission.	Neural Computing and Applications	2006	DBLP DOI BibTeX RDF
1	Nicolas Pronost, Georges Dumont, Gilles Berillon, Guillaume Nicolas	Morphological and stance interpolations in database for simulating bipedalism of virtual humans.	The Visual Computer	2006	DBLP DOI BibTeX RDF	Bipedalism, Morphological and multidimensional interpolations, Virtual human, Biomechanics, Motion retargeting
1	Barry Reinhold	Interoperability through Conformance; The iWARP validation process.	CLUSTER	2005	DBLP DOI BibTeX RDF
1	Shireesh Verma, Kiran Ramineni, Ian G. Harris	An efficient control-oriented coverage metric.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Arnab Roy 0001, S. K. Panda, Rajeev Kumar, P. P. Chakrabarti	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
1	Guy Paré, David Aubry, Luigi Lepanto, Claude Sicotte	Evaluating PACS Success: A Multidimensional Model.	HICSS	2005	DBLP DOI BibTeX RDF
1	Eric J. Balster, Yuan F. Zheng, Robert L. Ewing	Feature-based wavelet shrinkage algorithm for image denoising.	IEEE Transactions on Image Processing	2005	DBLP DOI BibTeX RDF
1	Monica H. Ou, Geoff A. W. West, Mihai Lazarescu, Chris Clay	Interactive Knowledge Validation in CBR for Decision Support in Medicine.	AIME	2005	DBLP DOI BibTeX RDF
1	Caiazza Alessandro, Roberto Di Maio, Fernando Scalabrini, Fabio Poli, Leonardo Impagliazzo, Arturo M. Amendola	A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems.	EDCC	2005	DBLP DOI BibTeX RDF
1	David Doose, Zoubir Mammeri	Polyhedra-Based Approach for Incremental Validation of Real-Time Systems.	EUC	2005	DBLP DOI BibTeX RDF
1	June Andronick, Boutheina Chetali, Christine Paulin-Mohring	Formal Verification of Security Properties of Smart Card Embedded Source Code.	FM	2005	DBLP DOI BibTeX RDF	Source code verification, Security, Formal Methods, Theorem Proving, Smart Card
1	Gilles Guette, Bernard Cousin, David Fort	GDS Resource Record: Generalization ofthe Delegation Signer Model.	ICN	2005	DBLP DOI BibTeX RDF
1	Gilles Guette, Bernard Cousin, David Fort	Algorithm for DNSSEC Trusted Key Rollover.	ICOIN	2005	DBLP DOI BibTeX RDF
1	Jing-Hua Ye, John Herbert	Adaptive User Interfaces Development Platform.	INTERACT	2005	DBLP DOI BibTeX RDF
1	Ming-Chang Lee	Statistical Data Analysis for Software Metrics Validation.	KES	2005	DBLP DOI BibTeX RDF	Metrics validation methodology, quality functions, nonparametric statistical methods, validity criteria
1	Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon	A Model-Based Approach for Robustness Testing.	TestCom	2005	DBLP DOI BibTeX RDF
1	Sylvia C. Wong, Simon Miles, Weijian Fang, Paul T. Groth, Luc Moreau	Provenance-Based Validation of E-Science Experiments.	International Semantic Web Conference	2005	DBLP DOI BibTeX RDF
1	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
1	Prabhat Mishra, Nikil Dutt	Modeling and validation of pipeline specifications.	ACM Trans. Embedded Comput. Syst.	2004	DBLP DOI BibTeX RDF	Modeling of processor pipeline, pipeline validation, pipelined processor specification, architecture description language
1	Ammar Aljer, Philippe Devienne	Co-Design and Refinement for Safety Critical Systems.	DFT	2004	DBLP DOI BibTeX RDF
1	Thorsten Schöler, Christian Müller-Schloer	Design, Implementation and Validation of a Generic and Reconfigurable Protocol Stack Framework for Mobile Terminals.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
1	Paulo J. L. Adeodato, Germano C. Vasconcelos, Adrian L. Arnaud, Roberto A. F. Santos, Rodrigo C. L. V. Cunha, Domingos S. M. P. Monteiro	Neural Networks vs Logistic Regression: a Comparative Study on a Large Data Set.	ICPR	2004	DBLP DOI BibTeX RDF
1	Jimmy Johansson, Patric Ljung, David Lindgren, Matthew D. Cooper	Interactive Visualization Approaches to the Analysis of System Identification Data.	INFOVIS	2004	DBLP DOI BibTeX RDF	Interactive Visualization, System Identification, Model Validation