SABER UCV >
1) Investigación >
Proyectos CDCH >

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/123456789/11031

Título : Análisis y verificación del Protocolo para la Reservación de Recursos (RSVP), usando Redes Coloreadas de Petri
Autor : Villapol, María
Palabras clave : Computación
Fecha de publicación : 2004
Editorial : Anuario CDCH 2004
Resumen : Redefine y valida la especificación de servicio para Protocolo de Reservación de Recursos (RSVP) destinados a soportar aplicaciones multimedia en tiempo real en la internet. Extiende el nuevo modelo para incluir cambios en la reservación de recursos usando Redes Coloreadas de Petri (CPN), que permite no solamente su aplicación a una versión limitada de RSPV, sino también su implementación en otros protocolos con funcionalidades similares. Ha generado un código en ML que incluye algoritmo de grafos SCC o grafos, en general sin ciclos.
URI : http://saber.ucv.ve/jspui/handle/123456789/11031
ISSN : 18565891
Aparece en las colecciones: Proyectos CDCH

Ficheros en este ítem:

Fichero Descripción Tamaño Formato
Análisis y verificación del Protocolo para la Reservación de Recursos (RSVP), usando Redes Coloreadas de Petri.pdf103.58 kBAdobe PDFVisualizar/Abrir

Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2008 MIT and Hewlett-Packard - Comentarios