Modelos para la computación móvil
Ver/
Comparte este contenido
Fecha
2000-12-01
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
Colecciones
Excepto si se señala otra cosa, la licencia del ítem se describe como Attribution-NonCommercial-ShareAlike 4.0 International