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
Se han propuesto varios métodos para sintetizar especificaciones de protocolos de comunicación informática a partir de especificaciones de servicios. Algunos métodos de síntesis de protocolos basados en el modelo de máquina de estados finitos (FSM) asumen que las primitivas en las especificaciones de servicios no pueden ejecutarse simultáneamente. Otros manejan solo la concurrencia de primitivas controladas o tienen restricciones estrictas sobre las topologías de FSM aplicables. Como resultado, estos métodos de síntesis no son aplicables a una variedad interesante de aplicaciones inherentemente concurrentes, como Internet y sistemas de comunicación móvil. Este artículo propone un método de síntesis de protocolo basado en la concurrencia que elimina las restricciones impuestas por los métodos anteriores. El método propuesto utiliza un método de síntesis para obtener una especificación de protocolo secuencial (P-SPEC) a partir de una especificación de servicio dada (S-SPEC). El P-SPEC resultante se remodela luego para considerar el comportamiento de concurrencia especificado en el S-S
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:
Aplicaciones de ingeniería basadas en el caos con un sistema hipercaótico multibiestable de 6D y un mapa hipercaótico SF-SIMM de 2D.
Artículo:
Algoritmo paralelo escalable del Método de Boltzmann en red de múltiples tiempos de relajación con simulación de grandes vórtices en múltiples GPUs.
Artículo:
Investigación sobre el modelo de negocio de recomendación inteligente de la plataforma de valor empresarial turístico desde la perspectiva de la cocreación de valor.
Artículo:
EPPDA: Un esquema de agregación de datos eficiente y preservador de la privacidad con autenticación y autorización para aplicaciones de salud basadas en IoT.
Artículo:
Análisis de rendimiento del sistema NOMA cooperativo full-duplex asistido por superficie inteligente reconfigurable.
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
