:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Jaime Ramírez
Format:	Artículo científico
Language:	en
Published:	Instituto Politécnico Nacional 2005
Subjects:	Computación System Consistency Verification Knowledge Based
Online Access:	https://www.redalyc.org/articulo.oa?id=61580402
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Black-Box Testing Technique for Information Visualization. Sequencing Constraints with Low-Level Interactions
by: Martín L. Larrea
Published: (2017)

Consistencia en la indización de documentos entre indizadores noveles
by: Isidoro Gil Leiva
Published: (2002)

Replication Package for "UnCertaGator: Propagation of Uncertainty Information in Development Processes Using Consistency Automation"
by: Hagel, Nathan, et al.
Published: (2026)

A framework for consistences in association relations between classes in UML
by: Javier Dario Fernández-Ledesma
Published: (2014)

Kant's dynamic metaphysics: kant's theory of judgment and the nature of the theoretical knowledge of consistency in empirical reasoning
by: Lucas Ribeiro Vollet
Published: (2023)

CBCSS, An Innovation In University Education: A Study From The Perspective Of College Teachers Of Mahatma Gandhi University In Kerala
by: Kevin Thomas Chacko
Published: (2016)

BETWEEN MOTIVATION AND DISCIPLINE: THE REAL REASONS PEOPLE STRUGGLE TO STAY FIT
by: ISOGON, ERVIN L.
Published: (2025)

TOWARD INTEGRATION OF KNOWLEDGE BASED SYSTEMS AND KNOWLEDGE DISCOVERY SYSTEMS
by: C. Rancan
Published: (2007)

An update on combinatorial method for aggregation of expert judgments in AHP
by: Sergii Kadenko
Published: (2021)

Behavioral variability and consistency: Experimental bases for a psychological theory of personality
by: José Santacreu Mas
Published: (2013)

Consistency game: a didactic strategy for software engineering
by: Carlos Mario Zapata Jaramillo
Published: (2008)

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Published: (2023)

Dimensional Consistency of the MyominAung Photon-Sea Theory
by: Aung, Myomin
Published: (2026)

AI based SystemVerilog TB generation
by: Bhavin Shah
Published: (2017)

GρπF: Graphical ρπ Framework
by: Cailler, Julie, et al.
Published: (2026)

An Internal Relativistic Closure Test of the Weyl Sector with DES Y3 Weak Lensing.
by: COUTINHO, Fernando Cesar Coelho
Published: (2026)

Comparison of consistency assessment models for isolated horizontal curves in two-lane rural highways
by: Danilo Cárdenas-Aguilar
Published: (2015)

ROLE OF ENTERPRISE ARCHITECTURE IN HEALTHCARE ORGANIZATIONS AND KNOWLEDGE-BASED MEDICAL DIAGNOSIS SYSTEM
by: Muhammad Sajid
Published: (2016)

MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems
by: Jaime Cuartas, et al.
Published: (2024)

Investigating fault injection techniques in hardware‐based deep neural networks and mutation‐based fault localization
by: Yves Le Traon, et al.
Published: (2024)

Homomorphic Pairwise Authentication: Privacy-Preserving Identity Verification Through Zero-Detection on Encrypted Credential Differences
by: Lee, Eunice, et al.
Published: (2026)

MetaSem: metamorphic testing based on semantic information of autonomous driving scenes
by: Zhen Yang, et al.
Published: (2024)

Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias
by: Hengyuan Liu, et al.
Published: (2024)

SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach
by: Yan Dong, et al.
Published: (2024)

TRANSIENT PRESSURE ANALYSIS FOR VERTICAL WELLS WITH SPHERICAL POWER-LAW FLOW
by: Freddy-Humberto Escobar
Published: (2012)

Financeirização na abordagem Stock-Flow Consistent
by: Paulo Francisco do Nascimento
Published: (2017)

Multilingual Evaluation of KnowNet
by: Montse Cuadros
Published: (2008)

Universal Verification Protocol for Historical Sources: Key Principles
by: Bogouchevski, Igor
Published: (2025)

A Systematic Exploration of Mutation‐Based Fault Localization Formulae
by: Bo Wang, et al.
Published: (2024)

Enhancing Mutation Testing Efficiency: A Comparative Study of Machine Learning Models for Equivalent Mutant Identification
by: Terrence Pugh, et al.
Published: (2025)

Semantic representations for knowledge modelling of a Natural Language Interface to Databases using ontologies
by: Juan J. González
Published: (2015)

A Knowledge Management System for Health Emergencies: Limiting the Need to Reinvent the Wheel from One Public Health Emergency to Another
by: Mayigane, Landry Ndriko, et al.
Published: (2024)

Psychometric Study of the Cognitive Flexibility Inventory in a Colombian Sample
by: María Camila Navarro
Published: (2022)

HGA: Heuristic Black‐Box Test Case Generation for NLP Intelligent Software
by: Mingxuan Xiao, et al.
Published: (2026)

Issue Information
Published: (2024)

DNN Testing, Regression Testing and Software Reliability Prediction
by: Yves Le Traon, et al.
Published: (2024)

Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations
by: Ruosi Li, et al.
Published: (2024)

PSC‐SBFL: Combining PSC With SBFL to Improve Software Fault Localization
by: Zhonghao Guo, et al.
Published: (2025)

Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study
by: Richard Somers, et al.
Published: (2025)

Search‐Based MC/DC Test Data Generation With OCL Constraints
by: Hassan Sartaj, et al.
Published: (2024)