Mostrar el registro sencillo del ítem

Specifying mobile network using a wp-like formal approach

dc.creatorKumar Singh, Awadhesh
dc.creatorGhanekar, Umesh
dc.creatorBandyopadhyay, Anup Kumar
dc.date2005-12-01
dc.date.accessioned2022-03-03T19:57:04Z
dc.date.available2022-03-03T19:57:04Z
dc.identifierhttps://revistas.unab.edu.co/index.php/rcc/article/view/1063
dc.identifier.urihttp://test.repositoriodigital.com:8080/handle/123456789/13837
dc.descriptionThe 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.es-ES
dc.formatapplication/pdf
dc.languagespa
dc.publisherUniversidad Autónoma de Bucaramangaes-ES
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1063/1035
dc.rightsDerechos de autor 2005 Revista Colombiana de Computaciónes-ES
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/4.0es-ES
dc.sourceRevista Colombiana de Computación; Vol. 6 No. 2 (2005): Revista Colombiana de Computación (Julio-Diciembre); 1-19en-US
dc.sourceRevista Colombiana de Computación; Vol. 6 Núm. 2 (2005): Revista Colombiana de Computación (Julio-Diciembre); 1-19es-ES
dc.source2539-2115
dc.source1657-2831
dc.titleSpecifying mobile network using a wp-like formal approaches-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion


Ficheros en el ítem

FicherosTamañoFormatoVer

No hay ficheros asociados a este ítem.

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

Mostrar el registro sencillo del ítem