Mostrar el registro sencillo del ítem

dc.contributor.authorDíaz Frías, Juan Franciscospa
dc.contributor.authorRueda, Camilospa
dc.date.accessioned2020-10-27T00:21:40Z
dc.date.available2020-10-27T00:21:40Z
dc.date.issued2000-12-01
dc.identifier.issn2539-2115
dc.identifier.issn1657-2831
dc.identifier.urihttp://hdl.handle.net/20.500.12749/9082
dc.description.abstractEn 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.spa
dc.format.mimetypeapplication/pdfspa
dc.language.isospaspa
dc.publisherUniversidad Autónoma de Bucaramanga UNAB
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1127/1097
dc.relation.urihttps://revistas.unab.edu.co/index.php/rcc/article/view/1127
dc.rightsDerechos de autor 2000 Revista Colombiana de Computación
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.sourceRevista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 29-45
dc.subjectInnovaciones tecnológicas
dc.subjectCiencia de los computadores
dc.subjectDesarrollo de tecnología
dc.subjectIngeniería de sistemas
dc.subjectInvestigaciones
dc.subjectTecnologías de la información y las comunicaciones
dc.subjectTIC´s
dc.titleModelos para la computación móvilspa
dc.title.translatedModels for mobile computingeng
dc.type.driverinfo:eu-repo/semantics/article
dc.type.localArtículospa
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1f
dc.subject.keywordsTechnological innovationseng
dc.subject.keywordsComputer scienceeng
dc.subject.keywordsTechnology developmenteng
dc.subject.keywordsSystems engineeringeng
dc.subject.keywordsInvestigationseng
dc.subject.keywordsInformation and communication technologieseng
dc.subject.keywordsICT'seng
dc.subject.keywordsCalculationseng
dc.subject.keywordsMobile computingeng
dc.subject.keywordsApplicationseng
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga UNABspa
dc.type.hasversioninfo:eu-repo/semantics/acceptedVersion
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.relation.referencesG. Alvarez, J. F. Diaz, L. Quesada, F. Valencia, C. Rueda, and G. Assayag. Pico: A calculus of concurrent constraint ob jects for musical applications. In Workshop on Constraints and the Arts, ECAI98, Brighton, England, 1998.
dc.relation.referencesG. Alvarez, J. F. Diaz, L. Quesada, F. Valencia, C. Rueda, G. Tamura, and G. Assayag. Integrating constraints and concurrent ob jects in musical applications: A calculus and its visual language. Constraints, 2000. To appear.
dc.relation.referencesR. Amadio and S Prasad. Modeling ip mobility. Technical Report 3301, INRIA, Sophia Antipolis, November 1997.
dc.relation.referencesL. Cardelli. Global computation. Sigplan Notices, 32(1):66 68, 1997.
dc.relation.referencesL. Cardelli and A. Gordon. Mobile ambients. in Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, 1378:140 155, 1998.
dc.relation.referencesL. Cardelli, G. Ghelli, and A. Gordon. Secrecy and group creation. In Proceedings of CONCUR'2000, 2000. To appear.
dc.relation.referencesR. Milner. The polyadic -calculus: a tutorial. Technical Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science October 1991. Also in Logic and Algebra of Speci cation, ed. F. L. Bauer, W. Brauer and H. Schwichtenberg, Springer Verlag , 1993.
dc.relation.referencesR. Milner. Interaction. Communications of the ACM, 36(1):79 89, 1993.
dc.relation.referencesR. Milner. Calculi for interaction. Acta Informatica, 33(8):707 737, 1996.
dc.relation.referencesJ.H. Réty. Un langage distribué concurrent avec contraintes. JFPLC-97, 1997.
dc.relation.referencesJ. Parrow R. Milner and D. Walker. A calculus of mobile processes, Parts I and II. Journal of Information and Computation, 100:1 77, September 1992.
dc.relation.referencesV. A. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, MA, 1993.
dc.relation.referencesG. Smolka. A calculus for higher-order concurrent constraint programming with deep guards. Research Report RR-94-03, Deutsches Forschungszentrum für Künstliche Intelligenz, Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, February 1994.
dc.relation.referencesV. T. Vasconcelos. Typed concurrent ob jects. In M. Tokoro and R. Pareschi, editors, Proc. of 8th European Conference on Object-Oriented Programming (ECOOP'94), volume 821 of Lecture Notes in Computer Science, pages 100 117. Springer-Verlag, 1994.
dc.relation.referencesV.T. Vasconcelos, L. Lopes, F. Silva, and A. Figueira. Dityco: an experiment in code mobility from the realm of process calculi, 1999.
dc.contributor.cvlacDíaz Frías, Juan Francisco [0000086410]spa
dc.contributor.googlescholarDíaz Frías, Juan Francisco [Ts0f-mcAAAAJ]spa
dc.contributor.googlescholarRueda, Camilo [wSyirisAAAAJ]spa
dc.contributor.orcidDíaz Frías, Juan Francisco [0000-0002-6178-0595]spa
dc.contributor.orcidRueda, Camilo [0000-0001-8387-9644]spa
dc.contributor.researchgateDíaz Frías, Juan Francisco [Juan-Diaz-97]spa
dc.subject.lembInnovaciones tecnológicasspa
dc.subject.lembCiencias de la computaciónspa
dc.subject.lembIngeniería de sistemasspa
dc.subject.lembInvestigacionesspa
dc.subject.lembTecnologías de la información y la comunicaciónspa
dc.identifier.repourlrepourl:https://repository.unab.edu.co
dc.description.abstractenglishIn this article we present a comparative analysis of some recently proposed mobile computing calculations. While describing the π - calculation proposed by Milner in [RMW92], a calculation of environments proposed by Cardelli and Gordon in [CG98] and PiCO; a calculation of objects and restrictions proposed by the AVISPA 1 group in [ADQ+00], they are compared and their main characteristics associated with mobile computing are discussed. Other calculations such as MCC ([R97]) and DyTyCO ([VLSF99]) are also analyzed.eng
dc.subject.proposalDesarrollo tecnológicospa
dc.subject.proposalCálculosspa
dc.subject.proposalComputación móvilspa
dc.subject.proposalAplicacionesspa
dc.type.redcolhttp://purl.org/redcol/resource_type/CJournalArticle
dc.rights.creativecommonsAttribution-NonCommercial-ShareAlike 4.0 International*


Ficheros en el ítem

Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Attribution-NonCommercial-ShareAlike 4.0 International
Excepto si se señala otra cosa, la licencia del ítem se describe como Attribution-NonCommercial-ShareAlike 4.0 International