Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
El Protocolo de Inicio de Sesiones (SIP, por sus siglas en inglés) es un protocolo de señalización de capa de aplicación utilizado para crear, gestionar y terminar sesiones en una red basada en IP. SIP se considera un protocolo transaccional. Hay dos transacciones principales en SIP, la transacción INVITE y la transacción no-INVITE. La especificación de la transacción INVITE de SIP se describe de manera informal en la Solicitud de Comentarios (RFC) 3261 y se modifica en el RFC 6026. En este documento nos enfocamos en la transacción INVITE de SIP, sobre medios de transporte fiables e inconfiables, que se utiliza para iniciar una sesión. Para garantizar la corrección de SIP, la transacción INVITE se modela y verifica utilizando el método de evento-B y su plataforma Rodin. El concepto de refinamiento de Event-B permite un desarrollo incremental al definir el sistema estudiado en diferentes niveles de abstracción, y Rodin descarga casi todas las obligaciones de prueba en cada nivel. Esta interacción entre modelado y demostración reduce la complejidad y
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículo:
Sobre la viabilidad y limitaciones de la extensión del conjunto de instrucciones justo a tiempo para procesadores reconfigurables basados en FPGA.
Artículo:
Mantenimiento eficiente de rutas AODV en un entorno de comunicación vehicular con unidades de carretera dispersas
Artículo:
Investigación y control de la ley de presión subterránea del frente de minería de carbón en estratos de roca blanda basada en redes neuronales en el contexto de la comunicación de red inalámbrica.
Artículo:
Penetración en profundidad y extensión del alcance de fallos en el cascading de redes multinivel.
Artículo:
Investigación sobre el Esquema de Encriptación Buscable por Rango Basado en un Árbol de Acceso en IoTs
Artículo:
Creación de empresas y estrategia : reflexiones desde el enfoque de recursos
Artículo:
La gestión de las relaciones con los clientes como característica de la alta rentabilidad empresarial
Artículo:
Análisis socioeconómico de la problemática de los desechos plásticos en el mar
Artículo:
Los web services como herramienta generadora de valor en las organizaciones
Virtual Pro es un portal virtual de formación, investigación y comunicación especializado en procesos industriales.
� 2021, Virtual Pro �, una marca de Grupo INGCO. Todos los derechos reservados
