Modelos para la computación móvil

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 ambientes propuesto por Cardelli y Gordon en [CG98] y PiCO; un cálculo de objetos y restricciones propuesto por el grupo AVISPA 1 en [ADQ+00], se comparan entre ellos y se comentan sus principales características asociadas a la computación móvil. Otros cálculos como MCC ([R97]) y DyTyCO ([VLSF99]) también son analizados.

• Autores: Díaz Frías, Juan Francisco; Rueda, Camilo
• Tipo de recurso: Trabajo de grado de pregrado
• Fecha de publicación: 2000
• Institución: Universidad Autónoma de Bucaramanga - UNAB
• Repositorio: Repositorio UNAB
• Idioma: spa
• OAI Identifier: oai:repository.unab.edu.co:20.500.12749/9082
• Acceso en línea: http://hdl.handle.net/20.500.12749/9082
• Palabra clave: Innovaciones tecnológicas; Ciencia de los computadores; Desarrollo de tecnología; Ingeniería de sistemas; Investigaciones; Tecnologías de la información y las comunicaciones; TIC´s; Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's; Calculations; Mobile computing; Applications; Innovaciones tecnológicas; Ciencias de la computación; Ingeniería de sistemas; Investigaciones; Tecnologías de la información y la comunicación; Desarrollo tecnológico; Cálculos; Computación móvil; Aplicaciones
• License: Derechos de autor 2000 Revista Colombiana de Computación