Discrete combinatorial problems can be solved with Constraint Programming (CP) as long as they are formulated as Constraint Satisfaction Problems (CSP). In this paper we propose an object oriented model to solve combinatorial problems of resource assignment including applications in…

En la actualidad las bases de datos espaciales han tomado gran interés dado la cantidad de aplicaciones en las que son utilizadas, esto ha generado una mayor necesidad en investigar métodos que mejoren el desempeño en la resolución de consultas…

La Ingeniería de Software tradicional carece actualmente de mecanismos adecuados para abstraer, y encapsular conceptos que no forman parte de la funcionalidad básica de los sistemas, tales como debugging, sincronización, distribución, seguridad, administración de memoria, y otros. El resultado de…

En los últimos años, el World Wide Web Con-sortium (W3C) ha desplegado esfuerzos hacia una estandarización de la Web Semántica, con el objetivo de diseñar estándares técnicos que permitan la inclusión de metadatos en la Web, para proveer la representación…

Este trabajo presenta una implementación en JAVA de un modelo de consistencia temporal para datos de tiempo real. Los Sistemas de Bases de Datos de Tiempo Real, incorporan el concepto de transacciones y datos con tiempo de vencimiento. El vencimiento…

Los métodos formales han alcanzado un uso más masivo en la construcción de sistemas reales, ya que ayudan a aumentar la calidad del software y la fiabilidad. Las especificaciones formales pueden ser usadas a lo largo de todo el ciclo…

Las bases de datos clásicas se organizan basándose en el concepto de búsqueda exacta sobre datos estructurados, capturando sólo un estado de la realidad modelizada. Actualmente las bases de datos han incluido la capacidad de almacenar otro tipos de datos…

En la línea de investigación aquí presentada, nos ocupamos de la propuesta y aplicación de una Lógica Continua [Duj08] para la evaluación y comparación de técnicas de Minería de Datos., Eje: Ingeniería de software

Este trabajo presenta un enfoque sistem ático, disciplinado y estructurado para identi ficar y medir los posibles problemas de calidad en los datos recolectados en experimentos en Ingenierí a de Software, mediante la aplicaci ón de la disciplina Calidad de…

Con la evolución de las tecnologías de información y comunicación, han surgido depósitos no estructurados de información. No sólo se consultan nuevos tipos de datos tales como texto libre, imágenes, audio y vi deo; sino que además, en algunos casos,…