Análisis y verificación del Protocolo para la Reservación de Recursos (RSVP), usando Redes Coloreadas de Petri

Please use this identifier to cite or link to this item: https://saber.ucv.ve/jspui/handle/10872/11031

Full metadata record

DC Field	Value	Language
dc.contributor.author	Villapol, María	-
dc.date.accessioned	2015-07-10T17:07:31Z	-
dc.date.available	2015-07-10T17:07:31Z	-
dc.date.issued	2004	-
dc.identifier.issn	18565891	-
dc.identifier.uri	http://hdl.handle.net/10872/11031	-
dc.description.abstract	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.	es_VE
dc.description.sponsorship	CDCH	es_VE
dc.language.iso	es	es_VE
dc.publisher	Anuario CDCH 2004	es_VE
dc.subject	Computación	es_VE
dc.title	Análisis y verificación del Protocolo para la Reservación de Recursos (RSVP), usando Redes Coloreadas de Petri	es_VE
dc.type	Other	es_VE
Appears in Collections:	Proyectos CDCH

Files in This Item:

File	Description	Size	Format
Análisis y verificación del Protocolo para la Reservación de Recursos (RSVP), usando Redes Coloreadas de Petri.pdf		103.58 kB	Adobe PDF	View/Open