Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Ankit Mathur, Mayank Agarwal, Soumyadeb Mitra, Anup Gangwar, M. Balakrishnan, Subhashis Banerjee	SMPS: an FPGA-based prototyping environment for multiprocessor embedded systems (abstract only).	FPGA	2005	DBLP DOI BibTeX RDF
11	Riccardo Focardi, Matteo Maffei, Francesco Placella	Inferring authentication tags.	WITS	2005	DBLP DOI BibTeX RDF
11	Tobias Kiesling, Johannes Lüthi, Rachid El Abdouni Khayari	Bias in parallel and distributed simulation systems.	WSC	2005	DBLP DOI BibTeX RDF
11	Vincenzo Grassi	Performance Analysis of Mobile Systems.	SFM	2005	DBLP DOI BibTeX RDF
11	John Michopoulos, Sam Lambrakos	On the Fundamental Tautology of Validating Data-Driven Models and Simulations.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
11	Haeng-Kon Kim	A Study on Evaluation of Component Metric Suites.	ICCSA (2)	2005	DBLP DOI BibTeX RDF	CK Suite, MOOD Metrics, Polymorphism, Coupling, Component Based Development, Cohesion, Object Oriented Paradigm
11	Lipo Wang, Hou Chai Quek, Keng Hoe Tee, Nina Zhou, Chunru Wan	Optimal Size of a Feedforward Neural Network: How Much does it Matter?.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF	Occam’s Razor, Hidden neurons, Neural networks, Learning
11	Auguste Genovesio, Ziad Belhassine, Jean-Christophe Olivo-Marin	Adaptive gating in gaussian bayesian multi-target tracking.	ICIP	2004	DBLP DOI BibTeX RDF
11	Jerry Zeyu Gao 0002, Ye Wu	Testing Component-Based Software - Issues, Challenges, and Solutions.	ICCBSS	2004	DBLP DOI BibTeX RDF
11	Gavin C. Cawley, Nicola L. C. Talbot	Efficient Model Selection for Kernel Logistic Regression.	ICPR (2)	2004	DBLP DOI BibTeX RDF
11	Rohit N. Kundaji, R. K. Shyamasundar	Development of Semantic Debuggers Based on Refinement Calculus.	ICLP	2004	DBLP DOI BibTeX RDF
11	Xudong He, Junhua Ding, Yi Deng 0001	Model checking software architecture specifications in SAM.	SEKE	2002	DBLP DOI BibTeX RDF	model checking, software architecture, petri nets, temporal logic
11	J. Jenny Li, Xueshan Shan	A Case Study of Dependable Software Upgrade with Distributed Components.	COMPSAC	2002	DBLP DOI BibTeX RDF
11	Guoqiang Shu, Chao Li, Qing Wang 0001, Mingshu Li 0001	Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata.	IEEE International Workshop on Rapid System Prototyping	2002	DBLP DOI BibTeX RDF
11	Jun Wei 0001, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng	Modeling and Verifying Strong Cache Consistency for Mobile Data Access .	ISSRE	2001	DBLP DOI BibTeX RDF
11	Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau	Refinement of Conceptual Graphs.	ICCS	2001	DBLP DOI BibTeX RDF
11	M. Ernst, Steffen Klupsch, Oliver Hauck, Sorin A. Huss	Rapid Prototyping for Hardware Accelerated Elliptic Curve Public-Key Cryptosystems.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
11	Pierre Jannin, Mélanie Raimbault, Xavier Morandi, Bernard Gibaud	Modeling Surgical Procedures for Multimodal Image-Guided Neurosurgery.	MICCAI	2001	DBLP DOI BibTeX RDF
11	Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis	Towards validated real-time software.	ECRTS	2000	DBLP DOI BibTeX RDF
11	Guido Carls, Ying Lu, Gerd Aschemann	Validating interaction patterns of CORBA based network management systems.	NOMS	2000	DBLP DOI BibTeX RDF
11	Hugues Martin, Lydie du Bousquet	Automatic Test Generation for Java-Card Applets.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
11	Francisco J. Suárez, Daniel F. García, Javier García 0002	Performance Debugging of Parallel and Distributed Embedded Systems.	PDSE	2000	DBLP DOI BibTeX RDF	Performance Debugging Methodology, Embedded Systems, Measurement, Parallel and Distributed Processing
11	H. Daniels, B. Kamp	Application of MLP Networks to Bond Rating and House Pricing.	Neural Comput. Appl.	1999	DBLP DOI BibTeX RDF
11	Apolinar González, Alfons Crespo	Environment for the Development and Specification of Real-Time Ada Programs.	Ada-Europe	1999	DBLP DOI BibTeX RDF
11	Srinivas Gutta, Jeffrey Huang, Ibrahim F. Imam, Harry Wechsler	Face and Hand Gesture Recognition Using Hybrid Classifiers.	FG	1996	DBLP DOI BibTeX RDF
11	Riccardo Mattolini, Paolo Nesi	Using TILCO for Specifying Real-Time Systems.	ICECCS	1996	DBLP DOI BibTeX RDF
11	Mireille Larnac, Janine Magnier, Eric Vandermeulen, Gérard Dray, Vincent Chapurlat	Temporal and Functional Verification of a Symbolic Representation of Complex Systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
11	Patrick R. Harrison, P. Ann Harrison	Validating an Embedded Intelligent Sensor Control System.	IEEE Expert	1994	DBLP DOI BibTeX RDF
11	Younes Souissi	Deterministic Systems of Sequential Processes: a class of structured Petri nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Deterministic system of sequential processes, composition, modularity, liveness, monotonicity, boundedness, properties preservation
11	Fuchun J. Lin, P. M. Chu, Ming T. Liu	Protocol verification using reachability analysis: the state space explosion problem and relief strategies.	Comput. Commun. Rev.	1987	DBLP DOI BibTeX RDF
10	Utsav Drolia, Zhenyan Wang, Srinivas Vemuri, Madhur Behl, Rahul Mangharam	Demo abstract: AutoPlug - An automotive test-bed for ECU testing, validation and verification.	IPSN	2011	DBLP BibTeX RDF
10	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
10		Cluster Validation.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
10		Stability-based Validation of Clustering.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
10	Dongwon Jung, Jayant Ratti, Panagiotis Tsiotras	Real-time Implementation and Validation of a New Hierarchical Path Planning Scheme of UAVs via Hardware-in-the-Loop Simulation.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Path planning and control, Hardware-in-the-loop simulation (HILS), UAV
10	Tamara Munzner	A Nested Process Model for Visualization Design and Validation.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
10	Jose L. Muñoz, Oscar Esparza, Jordi Forné, Esteve Pallarès	Design and implementation of a lightweight online certificate validation service.	Telecommun. Syst.	2009	DBLP DOI BibTeX RDF	Certification, Public key infrastructure, Revocation, OCSP
10	Roberto Lloréns 0001, Valery Naranjo, Miriam Clemente, Mariano Alcañiz Raya, Salvador Albalat	Validation of Fuzzy Connectedness Segmentation for Jaw Tissues.	IWINAC (2)	2009	DBLP DOI BibTeX RDF
10	Aaron M. Hanai, Song K. Choi, Giacomo Marani, Kaikala H. Rosa	Experimental validation of model-based thruster fault detection for underwater vehicles.	ICRA	2009	DBLP DOI BibTeX RDF
10	Ningning Lu, Huachun Zhou, Hongke Zhang	A New Source Address Validation Scheme Based on IBS.	IAS	2009	DBLP DOI BibTeX RDF
10	José A. Castellanos-Garzón, Carlos Armando García, Luis Antonio Miguel Quintales	An Evolutionary Hierarchical Clustering Method with a Visual Validation Tool.	IWANN (1)	2009	DBLP DOI BibTeX RDF	evolutionary algorithm, Hierarchical clustering, visual analytics, cluster validity, DNA microarray
10	Birgit Bomsdorf, Daniel Sinnig	Model-Based Specification and Validation of User Interface Requirements.	HCI (1)	2009	DBLP DOI BibTeX RDF	Requirements specification use case model, task model, model simulation
10	Juan-Carlos Naranjo, Carlos Fernández-Llatas, Pilar Sala, Michael Hellenschmidt, Franco Mercalli	A Modelling Framework for Ambient Assisted Living Validation.	HCI (6)	2009	DBLP DOI BibTeX RDF	AAL services, Ontology, Modeling framework, workflow technology, Services choreography
10	Pinhas Ben-Tzvi	Experimental validation of a hybrid mobile robot mechanism with interchangeable locomotion and manipulation.	IROS	2009	DBLP DOI BibTeX RDF
10	Wenguang Chen, Wenfei Fan, Shuai Ma 0001	Analyses and Validation of Conditional Dependencies with Built-in Predicates.	DEXA	2009	DBLP DOI BibTeX RDF
10	Maayan Goldstein, Dany Moshkovich	System Grokking - A Novel Approach for Software Understanding, Validation, and Evolution.	NGITS	2009	DBLP DOI BibTeX RDF	modelling, software architecture, reverse engineering, patterns, software analysis
10	Liang Zhang 0014, Houman Rastgar, Demin Wang, André Vincent	Maximum Likelihood Estimation Sample Consensus with Validation of Individual Correspondences.	ISVC (1)	2009	DBLP DOI BibTeX RDF
10	Nils Gruschka, Luigi Lo Iacono	Vulnerable Cloud: SOAP Message Security Validation Revisited.	ICWS	2009	DBLP DOI BibTeX RDF
10	Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano	Applying ASP to UML Model Validation.	LPNMR	2009	DBLP DOI BibTeX RDF
10	Theofilos Chrysikos, Giannis Georgopoulos, Stavros Kotsopoulos	Site-specific validation of ITU indoor path loss model at 2.4 GHz.	WOWMOM	2009	DBLP DOI BibTeX RDF
10	K. Brock Stitts, Colleen L. Phillips, Norman D. Geddes	Validation of Sociocultural Models and Meta-Models via Serious Games.	CSE (4)	2009	DBLP DOI BibTeX RDF
10	Amel Bouzeghoub, Mouna Selmi	Authoring Tool for Structural and Semantic Coherence Validation of Composed Learning Objects.	ICALT	2009	DBLP DOI BibTeX RDF
10	Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara	WEAVE: WEb Applications Validation Environment.	ICSE Companion	2009	DBLP DOI BibTeX RDF
10	Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel	Validation of contracts using enabledness preserving finite state abstractions.	ICSE	2009	DBLP DOI BibTeX RDF
10	Ginés Rubio, Héctor Pomares, Ignacio Rojas, Luis Javier Herrera, Alberto Guillén	Efficient Optimization of the Parameters of LS-SVM for Regression versus Cross-Validation Error.	ICANN (2)	2009	DBLP DOI BibTeX RDF
10	Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí	MVT: a schema mapping validation tool.	EDBT	2009	DBLP DOI BibTeX RDF
10	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond	Synchronous Modeling and Validation of Priority Inheritance Schedulers.	FASE	2009	DBLP DOI BibTeX RDF	Simulation, Scheduling, Embedded systems, Formal Verification, Architecture Description Languages, Synchronous Languages
10	Ian Harris, Dhiraj Pradhan	Guest Editorial Special Section on Design Verification and Validation.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
10	Roger B. Sidje, Alan B. Williams, Kevin Burrage	Fast generalized cross validation using Krylov subspace methods.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 65F10, 65D10
10	Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober	Timing analysis and validation with UML: the case of the embedded MARS bus manager.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF
10	Thomas Lange, Hans Lamecker, Michael Hünerbein, Sebastian Eulenstein, Siegfried Beller, Peter-Michael Schlag	Validation Metrics for Non-rigid Registration of Medical Images Containing Vessel Trees.	Bildverarbeitung für die Medizin	2008	DBLP DOI BibTeX RDF
10	Azzam F. Taktak, Antonio Eleuteri, M. S. Hane Aung, Paulo J. G. Lisboa, Laurence Desjardins, Bertil E. Damato	External Validation of a Bayesian Neural Network Model in Survival Analysis.	ICMLA	2008	DBLP DOI BibTeX RDF
10	Michela Farenzena, Adrien Bartoli, Youcef Mezouar	Automatically smoothing camera pose using cross validation for sequential vision-based 3D mapping.	IROS	2008	DBLP DOI BibTeX RDF
10	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
10	Francesco Logozzo, Manuel Fähndrich	Pentagons: a weakly relational abstract domain for the efficient validation of array accesses.	SAC	2008	DBLP DOI BibTeX RDF	NET framework, bounds checking, numerical domains, static analysis, abstract interpretation, abstract domains
10	Ho Fai Ko, Nicola Nicolici	Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation.	DATE	2008	DBLP DOI BibTeX RDF
10	Weixin Wu, Michael S. Hsiao	Efficient Design Validation Based on Cultural Algorithms.	DATE	2008	DBLP DOI BibTeX RDF
10	Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí	Providing Explanations for Database Schema Validation.	DEXA	2008	DBLP DOI BibTeX RDF
10	Mickaël Raulet, Jonathan Piat, Christophe Lucarz, Marco Mattavelli	Validation of bitstream syntax and synthesis of parsers in the MPEG Reconfigurable Video Coding framework.	SiPS	2008	DBLP DOI BibTeX RDF
10	Yinyin Yuan, Chang-Tsun Li	Probabilistic framework for gene expression clustering validation based on gene ontology and graph theory.	ICASSP	2008	DBLP DOI BibTeX RDF
10	Alberto Téllez-Valero, Manuel Montes-y-Gómez, Luis Villaseñor Pineda, Anselmo Peñas	Improving Question Answering by Combining Multiple Systems Via Answer Validation.	CICLing	2008	DBLP DOI BibTeX RDF
10	Yang Su, Thomas R. Gross	Validation of a miniaturized wireless network testbed.	WINTECH	2008	DBLP DOI BibTeX RDF	IvyNet, miniaturized testbed, wireless networks, experiments
10	Luigi Dragone	An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF
10	Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz	Executable formal specification and validation of NoC communication infrastructures.	SBCCI	2008	DBLP DOI BibTeX RDF	simulation, verification, theorem proving
10	Silvana Castano, Alfio Ferrara, Davide Lorusso, Tobias Henrik Näth, Ralf Möller 0001	Mapping Validation by Probabilistic Reasoning.	ESWC	2008	DBLP DOI BibTeX RDF
10	Michal Chlebiej, Marcin Denkowski, Krzysztof Nowinski	The Development and Validation of a Method for 4D Motion Reconstruction of a Left Ventricle.	ICCVG	2008	DBLP DOI BibTeX RDF	heart motion reconstruction, non-linear registration
10	Markus Rabe 0001, Sven Spieckermann, Sigrid Wenzel	A new procedure model for verification and validation in production and logistics simulation.	WSC	2008	DBLP DOI BibTeX RDF
10	Emmanuel Jeannot	Experimental validation of grid algorithms: A comparison of methodologies.	IPDPS	2008	DBLP DOI BibTeX RDF
10	Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	A model-driven validation & verification environment for embedded systems.	SIES	2008	DBLP DOI BibTeX RDF
10	Antonia Bertolino, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Eda Marchetti	Weighting Influence of User Behavior in Software Validation.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	value based testing, weighted Similarity Approach, usability
10	Virginija Limanauskiene, Galina Romanova, Vjaceslavs Sitikovs, Vytautas Stuikys	Network of Schools as a General Framework for Validation of the UNITE Project Outcomes.	ICALT	2008	DBLP DOI BibTeX RDF
10	Álvaro Rodrigo, Anselmo Peñas, Felisa Verdejo	Overview of the Answer Validation Exercise 2008.	CLEF	2008	DBLP DOI BibTeX RDF
10	Sebastian Wieczorek, Andreas Roth 0001, Alin Stefanescu, Anis Charfi	Precise Steps for Choreography Modeling for SOA Validation and Verification.	SOSE	2008	DBLP DOI BibTeX RDF
10	Juan Carlos Martínez Santos, Yunsi Fei	Leveraging speculative architectures for run-time program validation.	ICCD	2008	DBLP DOI BibTeX RDF
10	Christoph Knieke, Michaela Huhn, Malte Lochau	Modeling and Validation of Executable Requirements Using Live Activity Diagrams.	SERA	2008	DBLP DOI BibTeX RDF	Unified Modeling Language, Requirements Engineering, Model Driven Engineering, Activity Diagrams, Live Sequence Charts
10	Jérémie Dequidt, Maud Marchal, Christian Duriez, Erwan Kerrien, Stephane Cotin	Interactive Simulation of Embolization Coils: Modeling and Experimental Validation.	MICCAI (1)	2008	DBLP DOI BibTeX RDF
10	Zhonglei Wang, Wolfgang Haberl, Stefan Kugele, Michael Tautschnig	Automatic generation of systemc models from component-based designs for early design validation and performance analysis.	WOSP	2008	DBLP DOI BibTeX RDF	cola, simulation, code generation, systemc
10	Julien Brajard, Fouad Badran, Michel Crépon, Sylvie Thiria	Validation of model simulations with respect to in situ observations by the use of probabilistic estimations.	IJCNN	2008	DBLP DOI BibTeX RDF
10	Kenji Nishida, Takio Kurita	Boosting with cross-validation based feature selection for pedestrian detection.	IJCNN	2008	DBLP DOI BibTeX RDF
10	David A. Ostrowski	Meta-analysis for Validation and Strategic Planning.	RuleML	2008	DBLP DOI BibTeX RDF	metaknowledge, strategic knowledge, common sense knowledge, expert systems, metaheuristics
10	Nuno Laranjeiro, Marco Vieira, Henrique Madeira	Robustness Validation in Service-Oriented Architectures.	WADS	2008	DBLP DOI BibTeX RDF	Online Information Services, Reliability and robustness, Benchmarking, Testing and Debugging
10	Flávio Bergamaschi, Dave Conway-Jones, Christopher Gibson, Andy J. Stanford-Clark, Dinesh C. Verma, Seraphin B. Calo, Greg Cirincione, Tien Pham	Policy Enabled ITA Sensor Fabric, A Distributed Framework for the Validation of Experimental Algorithms Using Real and Simulated Sensors.	POLICY	2008	DBLP DOI BibTeX RDF	Sensor Fabric, Policy, Sensor middleware
10	Piotr Staroniewicz, Wojciech Majewski	Polish Emotional Speech Database - Recording and Preliminary Validation.	COST 2102 Conference (Prague)	2008	DBLP DOI BibTeX RDF	speech database, emotional speech
10	Alex Thomo, Srinivasan Venkatesh 0001, Ying Ying Ye	Visibly Pushdown Transducers for Approximate Validation of Streaming XML.	FoIKS	2008	DBLP DOI BibTeX RDF
10	Markus Stolze	Business Process Illustration: Supporting Experience-Grounded Validation of New Business Processes by Subject Matter Experts.	CEC/EEE	2008	DBLP DOI BibTeX RDF
10	Adel Aziz, Thomas Huehn, Roger P. Karrer, Patrick Thiran	Model validation through experimental testbed: the fluid flow behavior example.	TRIDENTCOM	2008	DBLP DOI BibTeX RDF
10	Fabrício Martins Lopes, Roberto M. Cesar, Luciano da Fontoura Costa	AGN Simulation and Validation Model.	BSB	2008	DBLP DOI BibTeX RDF
10	Xueqian Wang 0001, Bin Liang 0001, Cheng Li 0015, Wenfu Xu	The Ground-based Validation Technology of Teleoperation for Space Robot.	RAM	2008	DBLP DOI BibTeX RDF
10	Idir Aït-Sadoune, Yamine Aït Ameur	Animating Event B Models by Formal Data Models.	ISoLA	2008	DBLP DOI BibTeX RDF
10	M. V. Arkhipova, Sergey V. Zelenov	Directed Generation of Test Data for Static Semantics Checker.	ISoLA	2008	DBLP DOI BibTeX RDF	context condition, grammar, specification based testing, static semantics, Automated test data generation