Modelos para la computación móvil

Ver/
Citación
Comparte este contenido
Fecha
2000-12-01Otros contribuidores
Metadatos
Mostrar el registro completo del ítemDocumentos PDF
Resumen
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.
Palabras clave
Innovaciones tecnológicas; Ciencias de la computación; Ingeniería de sistemas; Investigaciones; Tecnologías de la información y la comunicaciónKeywords
Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's; Calculations; Mobile computing; ApplicationsEnlace al recurso
Fuente del recurso
- Revista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 29-45
Enlace a este registro en el Repositorio Institucional UNAB
http://hdl.handle.net/20.500.12749/9082
Estadísticas Google Analytics
Comentarios