Envíos recientes

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

Cataño, Nestor

Implementación de una base de datos relacional difusa

Jiménez Candia, Leoncio; Urrutia, Angélica; Galindo, José; Zaraté, Pascale

Editorial

Arenas, Álvaro Enrique; Pérez, José de Jesús; Carrillo, Eduardo

imAgent: un soporte para la simulación de sistemas de agentes móviles sobre Ns

Rigotti, Guillermo; Sottile, Daniel; Tártara, Ricardo

A framework for experience management in public organisations

Lambert, Simon C.; Arenas, Alvaro Enrique; Miles, Alistair J.

Specifying mobile network using a wp-like formal approach

Kumar Singh, Awadhesh; Ghanekar, Umesh; Bandyopadhyay, Anup Kumar

PUMAS: un framework que adapta la información en ambientes ubicuos

Carrillo Ramos, Angela; Gensel, Jérôme; Villanova Oliver, Marlène; Martin, Hervé

A distributed content repositories model and a decisions support system for learning objects in Latin-America

Cobos, Carlos; Meza, Erwin; Mendoza, Martha; Moreno, Jorge; Muñoz, Norman

Semantic modelling of road traffic information elements

Samper Zapater, José Javier; Carrillo Zambrano, Eduardo; Cervera García, Arturo

Buffer capacity allocation: a method to QoS support on MPLS networks

Huerta, Mónica Karel; Padilla, Jhon; Hesselbach, Xavier; Fabregat, Ramón; Ravelo, Oswaldo

An agent-based framework for secure and privacy-preserving personalized information services

Cissée, Richard; Rieger, Andreas; Braun, Nicolas; Albayrak, Sahin

Editorial

Pérez, José de Jesús; Carrillo, Eduardo

Performance analysis of JXTA/JXME applications in hybrid fixed/mobile environments

Piedrahita, Tomás; Montoya, Edwin

Hipercomputación desde la computación cuántica

Sicard, Andrés; Suárez Ospina, Juan David; Vélez, Mario

Aproximando a los sistemas recomendadores desde los algoritmos genéticos

Vélez Langs, Oswaldo; Santos, Carlos

Editorial

Carrillo Zambrano, Eduardo; Fedosova, Alina

Un procedimiento basado en escenarios ficticios para evaluar el entrenamiento de equipos asistidos por entornos virtuales colaborativos

Aguilar Vera, Raúl Antonio; de Antonio, Angélica; Prieto, Manuel E.

Muestreo de imágenes de rango en el espacio de variación de la orientación

Gómez Mendoza, Juan Bernardo

Procedimientos para determinar las necesidades de competencias en organizaciones desarrolladoras de software

Menini, María de los Ángeles; Gómez, Marta; Acuña, Silivia Teresita

Localización dinámica de móviles y obstáculos para aplicaciones en robótica

Tibaduiza Burgos, Diego Alexander; Martínez Ángel, Roberto; Amaya Quintero, Yamit D.; Ruiz Hernández, John Alexander

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

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

Implementación de una base de datos relacional difusa ﻿

Editorial ﻿

imAgent: un soporte para la simulación de sistemas de agentes móviles sobre Ns ﻿

A framework for experience management in public organisations ﻿

Specifying mobile network using a wp-like formal approach ﻿

PUMAS: un framework que adapta la información en ambientes ubicuos ﻿

A distributed content repositories model and a decisions support system for learning objects in Latin-America ﻿

Semantic modelling of road traffic information elements ﻿

Buffer capacity allocation: a method to QoS support on MPLS networks ﻿

An agent-based framework for secure and privacy-preserving personalized information services ﻿

Editorial ﻿

Performance analysis of JXTA/JXME applications in hybrid fixed/mobile environments ﻿

Hipercomputación desde la computación cuántica ﻿

Aproximando a los sistemas recomendadores desde los algoritmos genéticos ﻿

Editorial ﻿

Un procedimiento basado en escenarios ficticios para evaluar el entrenamiento de equipos asistidos por entornos virtuales colaborativos ﻿

Muestreo de imágenes de rango en el espacio de variación de la orientación ﻿

Procedimientos para determinar las necesidades de competencias en organizaciones desarrolladoras de software ﻿

Localización dinámica de móviles y obstáculos para aplicaciones en robótica ﻿

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

Implementación de una base de datos relacional difusa

Editorial

imAgent: un soporte para la simulación de sistemas de agentes móviles sobre Ns

A framework for experience management in public organisations

Specifying mobile network using a wp-like formal approach

PUMAS: un framework que adapta la información en ambientes ubicuos

A distributed content repositories model and a decisions support system for learning objects in Latin-America

Semantic modelling of road traffic information elements

Buffer capacity allocation: a method to QoS support on MPLS networks

An agent-based framework for secure and privacy-preserving personalized information services

Editorial

Performance analysis of JXTA/JXME applications in hybrid fixed/mobile environments

Hipercomputación desde la computación cuántica

Aproximando a los sistemas recomendadores desde los algoritmos genéticos

Editorial

Un procedimiento basado en escenarios ficticios para evaluar el entrenamiento de equipos asistidos por entornos virtuales colaborativos

Muestreo de imágenes de rango en el espacio de variación de la orientación

Procedimientos para determinar las necesidades de competencias en organizaciones desarrolladoras de software

Localización dinámica de móviles y obstáculos para aplicaciones en robótica