Buscar
Mostrando ítems 181-190 de 197
Modelos para la computación móvil
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)
Tipo de documento: Artículo
En este artículo presentamos un análisis comparativo de algunos cálculos de computación móvil propuestos recientemente. Al tiempo que se describen el π - cálculo propuesto por Milner en [RMW92], un cálculo de ...
Editorial
(Universidad Autónoma de Bucaramanga UNAB, 2007-12-01)
Tipo de documento: Artículo
La Universidad Autónoma de Bucaramanga UNAB, y los miembros del comité editorial de la revista Colombiana de computación presenta a la sociedad esta nueva edición, agradeciendo la colaboración a los autores y evaluadores ...
Un depurador abstracto, inductivo y paramétrico para programas multiparadigma
(Universidad Autónoma de Bucaramanga UNAB, 2004-12-01)
Tipo de documento: Artículo
Presentamos un marco general para el diagnóstico abstracto de programas lógico- funcionales, válido para diferentes estrategias de estrechamiento. Asociamos a cada programa una semántica por punto fijo que modela las ...
Especificación de la red móvil mediante un enfoque formal similar a wp
(Universidad Autónoma de Bucaramanga UNAB, 2005-12-01)
Tipo de documento: Artículo
El documento tiene como objetivo proporcionar un sistema formal, motivado por la condición previa más débil de Dijkstra
lógica, para especificar la red móvil. El documento muestra cómo se puede especificar la movilidad ...
Aspectos a considerar en la evaluación de la satisfacción en entornos virtuales de aprendizaje
(Universidad Autónoma de Bucaramanga UNAB, 2015-06-01)
Tipo de documento: Artículo
Cada vez hay un mayor interés en medir y evaluar la experiencia de usuario de manera más objetiva y precisa con respecto a las necesidades reales de los usuarios. Sin embargo, la evolución de la tecnología ha implicado ...
El enfoque de Aristóteles para abrir hipermedia
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)
Tipo de documento: Artículo
Los sistemas hipermedios distribuidos a gran escala comprenden una generación de herramientas poderosas
Para satisfacer las demandas de la nueva era de la globalización de la información. El más prometedor de
Tales ...
Un nuevo algoritmo de simplificación de malla 3-D
(Universidad Autónoma de Bucaramanga UNAB, 2003-06-01)
Tipo de documento: Artículo
Para simplificar la malla de la cabeza en color 3D, es más importante mantener el límite y la calidad de los órganos de los sentidos de la cabeza, incluidos los ojos, las cejas, la nariz y la boca. En este artículo, ...
Uso de un sistema de registro y mensajería RESTful para admitir una variedad de aplicaciones distribuidas
(Universidad Autónoma de Bucaramanga UNAB, 2010-12-01)
Tipo de documento: Artículo
Tycho se concibió en 2003 en respuesta a una necesidad de GridRM [1], un proyecto de supervisión de recursos para un sistema distribuido de área amplia "ligero", escalable y fácil de usar.
sistema de registro y mensajería. ...
Editorial
(Universidad Autónoma de Bucaramanga UNAB, 2009-12-01)
Tipo de documento: Artículo
La Universidad Autónoma de Bucaramanga UNAB y los miembros del comité editorial de la Revista Colombiana de Computación, tienen el placer de presentar a la comunidad científica esta nueva edición, la cual se constituye en ...
Editorial
(Universidad Autónoma de Bucaramanga UNAB, 2016-06-01)
Tipo de documento: Artículo
La Universidad Autónoma de Bucaramanga – UNAB y los miembros del Comité Editorial de la Revista Colombiana de Computación – RCC, se complacen en presentar esta nueva edición de la Revista con un total de siete ...