Search results for "Validating"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	Edgar Kaucher, Carsten W. Schulz-Rinne	Aspects of Self-Validating Numerics in Banach Spaces.	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
47	Paolo Santi, Piero Maestrini	Self-Validating Diagnosis of Hypercube Systems.	PRDC	1999	DBLP DOI BibTeX RDF	self-validating diagnosis, wafer-scale testing, hypercube, System-level diagnosis, multicomputer systems
45	George F. Corliss	Industrial Applications of Interval Techniques.	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
45	Hans J. Stetter	Validated Solution of Initial Value Problems for ODE.	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
45	Friedrich Goerisch, Zhiqing He	The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods I.	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
45	Götz Alefeld	Enclosure Methods.	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
45	Gerd Bohlender	What Do We Need Beyond IEEE Arithmetic?	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
45	Johann Schröder	Numerical Algorithms for Existence Proofs and Error Estimates for Two-Point Boundary Value Problems.	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
45	Christian P. Ullrich	Programming Languages for Enclosure Methods.	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
45	Louis B. Rall	Differentiation Arithmetics.	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
45	Karlheinz Hafner	Chips for High Precision Arithmetic.	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
45	E. Adams	Periodic Solutions: Enclosure, Verification, and Applications.	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
45	Henning Behnke	The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods II.	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
45	Lothar Collatz	Guaranteed Inclusions of Solutions of some Types of Boundary Value Problems.	Computer Arithmetic and Self-Validating Numerical Methods	1990	DBLP DOI BibTeX RDF
35	Richard Conn	Software Systems Requirements.	ACM J. Educ. Resour. Comput.	2002	DBLP DOI BibTeX RDF	Consortium Requirements Engineering, Evolutionary Spiral Model, Requirements-Based Testing, development requirements specifications interactively, documenting requirements, dynamics of interviewing, deriving and validating software requirements, problem domain modeling, rapid prototyping aids, requirements engineering methodologies, user/customer involvement, UML, formal methods, Z, extracting, SPARK
27	Wei Zhang 0020, Robert A. van Engelen	An Adaptive XML Parser for Developing High-Performance Web Services.	eScience	2008	DBLP DOI BibTeX RDF	Schema Updates, TDX, pTDX, Table-driven XML parsing, permutation phrase, Web Services, XML, Validating, Extensible, Parsing
27	Richard H. Carver, Steve Counsell, Reuben V. Nithi	An Evaluation of the MOOD Set of Object-Oriented Software Metrics.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	validating software metrics, assessing object-oriented software, Empirical software engineering
27	Robert D. Braun, Donald D. Givone	An Improved Algorithm for Deriving Checking Experiments.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	validating sequence, synchronous machines, fault detection, sequential machines, Checking experiments
27	C. V. Ramamoorthy, Yih-Wu Han	Reliability Analysis of Systems with Concurrent Error Detection.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	critical reliability of detector, detector redundant system, hybrid (N, S), N-tuple modular redundant system, reconfiguration switch, validating gate, Availability, subsystem, triple modular redundant system
26	Fangzhe Chang, Jennifer Ren	Validating system properties exhibited in execution traces.	ASE	2007	DBLP DOI BibTeX RDF	system testing automation, trace analysis
26	Jong-Hoon Oh, Hitoshi Isahara	Validating Transliteration Hypotheses Using the Web: Web Counts vs. Web Mining.	Web Intelligence	2007	DBLP DOI BibTeX RDF
26	Samuli Pekkola, Hannakaisa Isomäki	Evaluating End-User Support: Validating the Use of Multiple Media in a CSCW Application.	HICSS	2006	DBLP DOI BibTeX RDF
26	Jin-Shea Kuo	Generating Term Transliterations Using Contextual Information and Validating Generated Results Using Web Corpora.	AIRS	2005	DBLP DOI BibTeX RDF
26	Vince D. Calhoun, Godfrey D. Pearlson, Tülay Adali	Independent Component Analysis Applied to fMRI Data: A Generative Model for Validating Results.	J. VLSI Signal Process.	2004	DBLP DOI BibTeX RDF	model, independent component analysis, fMRI, brain
26	Keke Chen, Ling Liu 0001	Validating and Refining Clusters via Visual Rendering.	ICDM	2003	DBLP DOI BibTeX RDF
26	R. K. Shyamasundar, J. V. Aghav	Validating Real-Time Constraints in Embedded Systems.	PRDC	2001	DBLP DOI BibTeX RDF	Validation & Verification, Embedded Systems, Synchronous Languages, Esterel, RealTime Systems
26	Fredrik Fällström, Stig Nordqvist, Björn Hedin, Vlad Ionesco	Using a Simulator for Testing and Validating a Newspaper Production Decision Support System.	HICSS (4)	1997	DBLP DOI BibTeX RDF
26	Mark I. Hwang, Ephraim R. McLean	The Use of Meta-Analysis in Validating the Delone and McLean Information Systems Success Model.	HICSS (4)	1996	DBLP DOI BibTeX RDF
24	Karen M. G. Lopes, Edimara M. Luciano, Guilherme Costa Wiedenhöft	The effects of institutional factors on public value position prioritization: proposing and validating a measurement scale in the Brazilian digital government context: proposing and validating a measurement scale in the Brazilian digital government context.	DG.O	2023	DBLP DOI BibTeX RDF
24	Pablo González de Aledo Marugán, Álvaro Díaz Suárez, Pablo Sánchez Espeso, Ralf Huuck	Discovering and Validating Concurrency Specification from Test Executions.	VST@SANER	2016	DBLP DOI BibTeX RDF
21	Mostafa Elhemali, Leo Giakoumakis	Unit-testing query transformation rules.	DBTest	2008	DBLP DOI BibTeX RDF	verification, testing, query optimization
21	Yi Dou, Xinyu Zhang, Li Li	A New Approach for Education Information System's Compliance Test with the CELTS Standard Based Upon XML Processing Technology.	WBL	2008	DBLP DOI BibTeX RDF	CELTS standard, education information system, XML schema
21	Zhenghong Gao, Yinfei Pan, Ying Zhang, Kenneth Chiu	A High Performance Schema-Specific XML Parser.	eScience	2007	DBLP DOI BibTeX RDF
21	Denilson Barbosa 0001, Juliana Freire, Alberto O. Mendelzon	Information Preservation in XML-to-Relational Mappings.	XSym	2004	DBLP DOI BibTeX RDF
19	Bruno de Moura Araujo, Eber Assis Schmitz, Alexandre L. Correa, Antonio Juarez Alencar	A method for validating the compliance of business processes to business rules.	SAC	2010	DBLP DOI BibTeX RDF	compliance validation, UML, business process, OCL, business rules
19	Sudipta Kundu, Sorin Lerner, Rajesh Gupta 0001	Validating High-Level Synthesis.	CAV	2008	DBLP DOI BibTeX RDF
19	Bing Tian Dai, Nick Koudas, Divesh Srivastava, Anthony K. H. Tung, Suresh Venkatasubramanian	Validating Multi-column Schema Matchings by Type.	ICDE	2008	DBLP DOI BibTeX RDF
19	Jeff Craighead, Rodrigo Gutierrez, Jennifer L. Burke, Robin R. Murphy	Validating the Search and Rescue Game Environment as a robot simulator by performing a simulated anomaly detection task.	IROS	2008	DBLP DOI BibTeX RDF
19	Sreekar Krishna, Sethuraman Panchanathan	Combining Skin-Color Detector and Evidence Aggregated Random Field Models towards Validating Face Detection Results.	ICVGIP	2008	DBLP DOI BibTeX RDF
19	Joan Tomàs-Buliart, Marcel Fernandez, Miguel Soriano	Protection of Mobile Agents Execution Using a Modified Self-Validating Branch-Based Software Watermarking with External Sentinel.	CRITIS	2008	DBLP DOI BibTeX RDF
19	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
19	Kostas Marias, Dimitra D. Dionysiou, Georgios S. Stamatakos, Fotini Zacharopoulou, Eleni Ch. Georgiadi, Thanasis Margaritis, Thomas G. Maris, Ioannis G. Tollis	Multi-level Analysis and Information Extraction Considerations for Validating 4D Models of Human Function.	HCI (12)	2007	DBLP DOI BibTeX RDF	Virtual Physiological Human, biomedical data analysis, modeling
19	Juan Miguel López 0001, Idoia Cearreta, Inmaculada Fajardo, Nestor Garay	Validating a Multilingual and Multimodal Affective Database.	HCI (11)	2007	DBLP DOI BibTeX RDF	affective resources, user validation, multilingual and multimodal resources, semantics, Affective computing
19	Noor Hazarina Hashim, Jamie Murphy, Peter O'Connor	Take Me Back: Validating the Wayback Machine as a Measure of Website Evolution.	ENTER	2007	DBLP DOI BibTeX RDF	Wayback Machine, Internet, websites, diffusion of innovations
19	Anders Moen Hagalisletto	Validating Attacks on Authentication Protocols.	ISCC	2007	DBLP DOI BibTeX RDF
19	Paul F. Reynolds Jr., Michael Spiegel, Xinyu Liu, Ross Gore	Validating Evolving Simulations in COERCE.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF
19	Roberto Santana Tapia, Maya Daneva, Pascal van Eck	Validating Adequacy and Suitability of Business-IT Alignment Criteria in an Inter-Enterprise Maturity Model 202.	EDOC	2007	DBLP DOI BibTeX RDF
19	Hiren D. Patel, Deepak Mathaikutty, David Berner, Sandeep K. Shukla	CARH: service-oriented architecture for validating system-level designs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
19	Sarat C. Dass, Yongfang Zhu, Anil K. Jain 0001	Validating a Biometric Authentication System: Sample Size Requirements.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	Gaussian copula models, ROC confidence bands, bootstrap, error estimation, Biometric authentication
19	Yuan-Fang Li, Jing Sun 0002, Gillian Dobbie, Jun Sun 0001, Hai H. Wang	Validating Semistructured Data Using OWL.	WAIM	2006	DBLP DOI BibTeX RDF	Semantic Web, Formal Verification, OWL, Semistructured Data
19	Aditya Kanade, Amitabha Sanyal, Uday P. Khedker	A PVS Based Framework for Validating Compiler Optimizations.	SEFM	2006	DBLP DOI BibTeX RDF
19	Chatchawit Aporntewan, Prabhas Chongstitvatana	A quantitative approach for validating the building-block hypothesis.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
19	Yinlei Yu, Sharad Malik	Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice.	ASP-DAC	2005	DBLP DOI BibTeX RDF
19	Shaoying Liu	An Automated Rigorous Review Method for Verifying and Validating Formal Specifications.	ATVA	2004	DBLP DOI BibTeX RDF
19	Urko Rueda, Mikel Larrañaga, Jon A. Elorriaga, Ana Arruarte Lasa	Validating DynMap as a Mechanism to Visualize the Student's Evolution Through the Learning Process.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
19	Marie-Odile Berger, René Anxionnat, Erwan Kerrien	A Methodology for Validating a New Imaging Modality with Respect to a Gold Standard Imagery: Example of the Use of 3DRA and MRI for AVM Delineation.	MICCAI (1)	2004	DBLP DOI BibTeX RDF
19	José María Sierra, Julio César Hernández Castro, Almudena Alcaide, Joaquín Torres Márquez	Validating the Use of BAN LOGIC.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
19	Weldon A. Lodwick, K. David Jamison	Estimating and Validating the Cumulative Distribution of a Function of Random Variables: Toward the Development of Distribution Arithmetic.	Reliab. Comput.	2003	DBLP DOI BibTeX RDF
19	Jayanta Bhadra, Narayanan Krishnamurthy, Magdy S. Abadir	A Methodology for Validating Manufacturing Test Vector Suites for Custom Designed Scan-Based Circuits.	MTV	2003	DBLP DOI BibTeX RDF
19	Petri Selonen, Jianli Xu	Validating UML models against architectural profiles.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	architectural validation, UML, profiles
19	Tim Kindberg, Kan Zhang	Validating and Securing Spontaneous Associations between Wireless Devices.	ISC	2003	DBLP DOI BibTeX RDF
19	Regina Lúcia de Oliveira Moraes, Eliane Martins	A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool.	LADC	2003	DBLP DOI BibTeX RDF
19	Yan Liu 0003, Srikanth Gururajan, Bojan Cukic, Tim Menzies, Marcello R. Napolitano	Validating an Online Adaptive System Using SVDD.	ICTAI	2003	DBLP DOI BibTeX RDF
19	Benoit Parreaux, Daniel Vincent, Gérard Babonneau	RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol.	SDL Forum	2003	DBLP DOI BibTeX RDF
19	Yves-Marie Quemener	A Typical Testing Problem: Validating WML Cellphones.	SPIN	2002	DBLP DOI BibTeX RDF
19	Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy	Validating Run-time Interactions in Distributed Java Applications.	ICECCS	2002	DBLP DOI BibTeX RDF	Visualization, Unified Modeling Language, Software design, Distributed applications, Assertions, Java RMI, Test adequacy criteria, Interceptors, Interaction diagrams
19	Bertram Ludäscher, Richard Marciano, Reagan W. Moore	Preservation of Digital Data with Self-Validating, Self-Instantiating Knowledge-Based Archives.	SIGMOD Rec.	2001	DBLP DOI BibTeX RDF	XML
19	Thomas Ball, Sriram K. Rajamani	Automatically Validating Temporal Safety Properties of Interfaces.	SPIN	2001	DBLP DOI BibTeX RDF
19	Jonathan Jingsheng Shi	Practical approaches for validating a construction simulation.	WSC	2001	DBLP DOI BibTeX RDF
19	Vladimir Zadorozhny, Louiqa Raschid, Tao Zhan, Laura Bright	Validating an Access Cost Model for Wide Area Applications.	CoopIS	2001	DBLP DOI BibTeX RDF
19	Humayun Khalid	Validating Trace-Driven Microarchitectural Simulations.	IEEE Micro	2000	DBLP DOI BibTeX RDF
19	Mark Richters, Martin Gogolla	Validating UML Models and OCL Constraints.	UML	2000	DBLP DOI BibTeX RDF
19	Shahrul Azman Noah, Michael D. Williams	Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools.	ASE	2000	DBLP DOI BibTeX RDF
19	Theofanis Vassiliou-Gioles, Ina Schieferdecker	Case Study in Protocol Validation: Validating an ATM Signalling Protocol.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	ATM signalling, Validation, SDL
19	Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann	Validating Requirements for Fault Tolerant Systems using Model Checking.	ICRE	1998	DBLP DOI BibTeX RDF
19	John R. Samson Jr., Wilfrido Alejandro Moreno, Fernando J. Falquez	Validating fault tolerant designs using laser fault injection (LFI).	DFT	1997	DBLP DOI BibTeX RDF	fault tolerant designs validation, laser fault injection, VHSIC technology, in situ testing, transient error conditions, VLSI, faults, automated testing, transient, VLSI technology
19	Ramkumar V. Pichai, Joseph E. Urban	A technique for validating Booch object-oriented designs from extensions to the Descartes specification language.	HASE	1996	DBLP DOI BibTeX RDF	Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems
19	Odd Ivar Lindland, John Krogstie	Validating Conceptual Models by Transformational Prototyping	CAiSE	1993	DBLP DOI BibTeX RDF
14	Perla Innocenti, Seamus Ross, Elena Maceviciute, Thomas D. Wilson 0001, Jens Ludwig, Wolfgang Pempe	Assessing digital preservation frameworks: the approach of the SHAMAN project.	MEDES	2009	DBLP DOI BibTeX RDF	SHAMAN project, assessment criteria, data centres, digital preservation frameworks, persistent archiving, policy frameworks, web based digital ecosystems, digital libraries, data grids, digital preservation, digital repositories
14	Marco Carbone, Nobuko Yoshida, Kohei Honda 0001	Asynchronous Session Types: Exceptions and Multiparty Interactions.	SFM	2009	DBLP DOI BibTeX RDF
14	Chin-Yun Chen	Bivariate Product Cubature Using Peano Kernels for Local Error Estimates.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Adaptive cubature, Tensor product rules, Optimal error estimates, Peano kernels, Interval computation
14	Monika Lehmpfuhl, Manuel André Gaudnek, Andreas Hess 0001, Michael Sibila	Analysis of Cerebral Blood Flow from Small Rodents.	Bildverarbeitung für die Medizin	2008	DBLP DOI BibTeX RDF
14	Wei Zhang 0020, Robert A. van Engelen	High-Performance XML Parsing and Validation with Permutation Phrase Grammar Parsers.	ICWS	2008	DBLP DOI BibTeX RDF
14	Florina Almenárez, Andrés Marín López, Daniel Díaz Sánchez, Alberto Cortés, Celeste Campo, Carlos García-Rubio	Building an Open Toolkit of Digital Certificate Validation for Mobile Web Services.	PerCom	2008	DBLP DOI BibTeX RDF	certificate validation, open toolkit, X.509 certificates
14	YiHua Lam, Saadat M. Alhashmi	Simulation of Halal Food Supply Chain with Certification System: A Multi-Agent System Approach.	PRIMA	2008	DBLP DOI BibTeX RDF	Halal food, certification process, Multi-agent, supply chain
14	Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet	On-The-Fly Model-Based Testing of Web Services with Jambition.	WS-FM	2008	DBLP DOI BibTeX RDF
14	Ray Adams	Decision and stress: cognition and e-accessibility in the information workplace.	Univers. Access Inf. Soc.	2007	DBLP DOI BibTeX RDF	e-Accessibility, Models, Architecture, Cognition, Overload, Workplace, Augmentation
14	Gary W. Godding, Hessam S. Sarjoughian, Karl G. Kempf	Application of combined discrete-event simulation and optimization models in semiconductor enterprise manufacturing systems.	WSC	2007	DBLP DOI BibTeX RDF
14	Vir V. Phoha, Shashi Phoha	Situation-Aware Software Engineering for Sensor Networks.	COMSWARE	2007	DBLP DOI BibTeX RDF
14	Zheng Li, Yan Jin, Jun Han 0004	A Runtime Monitoring and Validation Framework for Web Service Interactions.	ASWEC	2006	DBLP DOI BibTeX RDF
14	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
14	Yuan-Ting Zhang, X. Y. Xiang, Carmen C. Y. Poon	The Evaluation of Nodes of Body Sensor Networks: Wearable Blood Pressure Measuring Devices.	BSN	2006	DBLP DOI BibTeX RDF
14	Matthew D. Ford, Gordan R. Stuhne, Hristo N. Nikolov, Damiaan F. Habets, Stephen P. Lownie, David W. Holdsworth, David A. Steinman	Virtual angiography for visualization and validation of computational models of aneurysm hemodynamics.	IEEE Trans. Medical Imaging	2005	DBLP DOI BibTeX RDF
14	Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang 0001, Ying Hu 0003	Translation and Run-Time Validation of Loop Transformations.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	reordering transformations, run-time validation, speculative optimizations, global optimizations, optimizing compilers, loop transformations, translation validation, verification conditions
14	Guillermo Payá Vayá, Javier Martín-Langerwerf, Peter Pirsch	RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration.	SAMOS	2005	DBLP DOI BibTeX RDF
14	Sylvia C. Wong, Simon Miles, Weijian Fang, Paul Groth, Luc Moreau 0001	Provenance-Based Validation of E-Science Experiments.	ISWC	2005	DBLP DOI BibTeX RDF
14	P. Nagabhushan, Shanmukhappa A. Angadi, Basavaraj S. Anami	Symbolic Data Structure for Postal Address Representation and Address Validation Through Symbolic Knowledge Base.	PReMI	2005	DBLP DOI BibTeX RDF	Postal Address validation, Symbolic object, knowledge base, Frames
14	Manachai Toahchoodee, Indrakshi Ray	Validation of Policy Integration Using Alloy.	ICDCIT	2005	DBLP DOI BibTeX RDF
14	Dietrich Albert, Christina M. Steiner	Empirical Validation of Concept Maps: Preliminary Methodological Considerations.	ICALT	2005	DBLP DOI BibTeX RDF
14	Dae-Young Lee, Young-Gul Kim	Validation of the Knowledge Management Stage Model: A Triangulation Approach.	HICSS	2005	DBLP DOI BibTeX RDF	Stage Model, KM Implementation, Knowledge Management