Envíos recientes

Editorial

Arenas, Alvaro Enrique; Pérez, José de Jesús

On automating the extraction of programs from termination proofs

Kamareddine, Fairouz; Monin, François; Ayala Rincón, Mauricio

Representing WSDL with extended UML

de Castro, Valeria; Marcos, Esperanza; Vela, Belén

An incremental approach to web service composition

Granell, Carlos; Poveda, José; Gould, Michael

Web components: a comparison between web services and software components

Iribarne, Luis

Documentación de componentes: una aproximación basada en diagramas de secuencia

Perez Toledano, Miguel A.; Navasa, Amparo; Murillo, Juan Manuel

Editorial

Corchuelo, Rafael; Clemente, Pedro J.; Sevilla., Diego

METALA: a J2EE technology based framework for web mining

Hernansaez, Juan Manuel; Botía, Juan A.; Skarmeta, Antonio F.

Components + aspects: a general overview

Reina Quintero, Antonia M.; Torres, Jesús

Editorial

Lalinde Pulido, Juan Guillermo; Trefftz Gómez, Helmuth

Método para manejar el problema de la recarga de trabajo en los sistemas multi-agente

Horfan Álvarez, Daniel; Ovalle Carranza, Demetrio Arturo

Emulación del crecimiento de hongos comestibles y medicinales utilizando un algoritmo evolutivo con un operador genético de tipo cilíndrico

Peña P., Alejandro; Hernández Riveros, Jesús Antonio

Un depurador abstracto, inductivo y paramétrico para programas multiparadigma

Alpuente Frasnedo, María; Correa Zabala, Francisco José

AMIR-ST: propuesta de una aproximación metodológica para la ingeniería de requisitos de sistemas telemáticos

Solarte Sarasty, Mario Fernando

Arquitectura de un sistema operativo web basado en sistemas multiagentes

Aguilar, Jose; Perozo, Niriaska; Ferrer, Edgar; Vizcarrondo, Juan

Evaluación de herramientas de extracción automática de conceptos dentro de un ambiente de biblioteca digital

Abascal, Rocío; Rumpler, Béatrice

Editorial

Arenas, Alvaro Enrique; Pérez, Jose de Jesús

Combining symbolic execution and model checking to reduce dynamic program analysis overhead

Cataño, Nestor

Ontology-based data integration methods: a framework for comparison

Buccell, Agustina; Cechich, Alejandra; Brisaboa, Nieves R.

Algoritmo de emparejamiento de perfiles en servicios web semánticos

Samper Zapater, José Javier; Carrillo Zambrano, Eduardo; Martínez, Juan José

UNAB Revista Colombiana de Computación: Envíos recientes

Editorial ﻿

On automating the extraction of programs from termination proofs ﻿

Representing WSDL with extended UML ﻿

An incremental approach to web service composition ﻿

Web components: a comparison between web services and software components ﻿

Documentación de componentes: una aproximación basada en diagramas de secuencia ﻿

Editorial ﻿

METALA: a J2EE technology based framework for web mining ﻿

Components + aspects: a general overview ﻿

Editorial ﻿

Método para manejar el problema de la recarga de trabajo en los sistemas multi-agente ﻿

Emulación del crecimiento de hongos comestibles y medicinales utilizando un algoritmo evolutivo con un operador genético de tipo cilíndrico ﻿

Un depurador abstracto, inductivo y paramétrico para programas multiparadigma ﻿

AMIR-ST: propuesta de una aproximación metodológica para la ingeniería de requisitos de sistemas telemáticos ﻿

Arquitectura de un sistema operativo web basado en sistemas multiagentes ﻿

Evaluación de herramientas de extracción automática de conceptos dentro de un ambiente de biblioteca digital ﻿

Editorial ﻿

Combining symbolic execution and model checking to reduce dynamic program analysis overhead ﻿

Ontology-based data integration methods: a framework for comparison ﻿

Algoritmo de emparejamiento de perfiles en servicios web semánticos ﻿

Editorial

On automating the extraction of programs from termination proofs

Representing WSDL with extended UML

An incremental approach to web service composition

Web components: a comparison between web services and software components

Documentación de componentes: una aproximación basada en diagramas de secuencia

Editorial

METALA: a J2EE technology based framework for web mining

Components + aspects: a general overview

Editorial

Método para manejar el problema de la recarga de trabajo en los sistemas multi-agente

Emulación del crecimiento de hongos comestibles y medicinales utilizando un algoritmo evolutivo con un operador genético de tipo cilíndrico

Un depurador abstracto, inductivo y paramétrico para programas multiparadigma

AMIR-ST: propuesta de una aproximación metodológica para la ingeniería de requisitos de sistemas telemáticos

Arquitectura de un sistema operativo web basado en sistemas multiagentes

Evaluación de herramientas de extracción automática de conceptos dentro de un ambiente de biblioteca digital

Editorial

Combining symbolic execution and model checking to reduce dynamic program analysis overhead

Ontology-based data integration methods: a framework for comparison

Algoritmo de emparejamiento de perfiles en servicios web semánticos