SABER UCV >
1) Investigación >
Proyectos CDCH >
Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10872/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://hdl.handle.net/10872/11031 |
| ISSN : | 18565891 |
| Aparece en las colecciones: | Proyectos CDCH
|
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.
|
