Show simple item record

dc.contributor.authorKumar Singh, Awadhesh
dc.contributor.authorGhanekar, Umesh
dc.contributor.authorBandyopadhyay, Anup Kumar
dc.date.accessioned2020-10-27T00:21:10Z
dc.date.available2020-10-27T00:21:10Z
dc.date.issued2005-12-01
dc.identifier.issn2539-2115
dc.identifier.issn1657-2831
dc.identifier.urihttp://hdl.handle.net/20.500.12749/9021
dc.description.abstractThe paper aims at providing a formal system, motivated by Dijkstra’s weakest precondition logic, for specifying mobile network. The paper shows how mobility can be specified using a state and transition based approach, which allows mobile hosts to be treated as nodes in a traditional statically structured distributed system. Another goal is to reason formally about the possible behaviors of a system consisting of mobile components. The handover procedure serves as an illustration for the notation. The contribution of the paper is the development of a style of modeling and reasoning about the temporal properties that allows for a straightforward and thorough analysis of mobile systems.Keywords: weakest precondition, mobile computing, specification, verification, safety, handover.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherUniversidad Autónoma de Bucaramanga UNAB
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1063/1035
dc.relation.urihttps://revistas.unab.edu.co/index.php/rcc/article/view/1063
dc.rightsDerechos de autor 2005 Revista Colombiana de Computación
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.sourceRevista Colombiana de Computación; Vol. 6 Núm. 2 (2005): Revista Colombiana de Computación; 1-19
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.titleEspecificación de la red móvil mediante un enfoque formal similar a wp
dc.title.translatedSpecifying mobile network using a wp-like formal approach
dc.type.driverinfo:eu-repo/semantics/article
dc.type.localArtículospa
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1f
dc.subject.keywordsTechnological innovations
dc.subject.keywordsComputer science
dc.subject.keywordsTechnology development
dc.subject.keywordsSystems engineering
dc.subject.keywordsInvestigations
dc.subject.keywordsInformation and communication technologies
dc.subject.keywordsICT's
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga UNAB
dc.type.hasversionInfo:eu-repo/semantics/publishedVersioneng
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.identifier.repourlrepourl:https://repositorio.unbosque.edu.co
dc.type.redcolhttp://purl.org/redcol/resource_type/CJournalArticle
dc.rights.creativecommonsAttribution-NonCommercial-ShareAlike 4.0 International*


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-ShareAlike 4.0 International
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-ShareAlike 4.0 International