Especificación y verificación de un protocolo de comunicación tolerante a fallas de desconexión para aplicaciones colaborativas
Fuente:
Universidad Tecnológica de la Mixteca
La fusión de la computación y las telecomunicaciones ha tenido gran influencia en la manera en que se organizan los sistemas computacionales y ha propiciado el desarrollo de una gran variedad de aplicaciones para trabajo en grupo. Estas aplicaciones colaborativas están soportadas en redes de computa...
Guardado en:
| Autor principal: | Morales Matus, Marisela |
|---|---|
| Formato: | Tesis de Maestría |
| Lenguaje: | español |
| Publicado: |
Universidad Tecnológica de la Mixteca
2015
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Implementación en erlang de sistemas distribuidos a través del cálculo de eventos
por: Aguilar López, José Yedid
Publicado: (2014)
por: Aguilar López, José Yedid
Publicado: (2014)
Especificación formal del protocolo de comunicaciones CAN FD mediante SDL
por: López Pérez, Edilberto
Publicado: (2015)
por: López Pérez, Edilberto
Publicado: (2015)
Computación en México: acepciones y desviaciones
por: Ruiz Rodríguez, Ricardo
Publicado: (2005)
por: Ruiz Rodríguez, Ricardo
Publicado: (2005)
Adaptación de las metodologías tradicionales cascada y espiral para la inclusión de evaluación inicial de usabilidad en el desarrollo de productos de software en México
por: Prieto Álvarez, Carlos Gerardo
Publicado: (2015)
por: Prieto Álvarez, Carlos Gerardo
Publicado: (2015)
Especificación Formal en SDL de una pasarela CAN/LIN
por: Cruz García, Edgar Segismundo
Publicado: (2017)
por: Cruz García, Edgar Segismundo
Publicado: (2017)
Detección simultánea, por medio de CNN, de múltiples robots NAO dentro de un campo de fútbol, con aplicación a RoboCup
por: Zavala Salas, Oscar Alberto
Publicado: (2020)
por: Zavala Salas, Oscar Alberto
Publicado: (2020)
Control de formación de robots móviles de autobalanceo de dos ruedas
por: Ramírez Cárdenas, Oscar David
Publicado: (2020)
por: Ramírez Cárdenas, Oscar David
Publicado: (2020)
Análisis de imágenes de mamografía para la detección de cáncer de mama
por: Rodríguez López, Verónica
Publicado: (2012)
por: Rodríguez López, Verónica
Publicado: (2012)
Reconstrucción de series de precipitación del estado de Oaxaca usando redes neuronales artificiales
por: Gutiérrez Apolonio, Rosa María
Publicado: (2020)
por: Gutiérrez Apolonio, Rosa María
Publicado: (2020)
Diseño y construcción de un rehabilitador de tobillo
por: Flores Salazar, Erick D.
Publicado: (2019)
por: Flores Salazar, Erick D.
Publicado: (2019)
Desarrollo de un manipulador antropomórfico de 3 GDL con motores de CD tipo brushless
por: Cruz Reyes, Alejandro T.
Publicado: (2022)
por: Cruz Reyes, Alejandro T.
Publicado: (2022)
Diseño de una colección de prendas casuales femeninas, teñidas con tintes naturales para mujeres de 30 a 35 años de edad en la región Mixteca del estado de Oaxaca
por: Martínez Cruz, Martha B.
Publicado: (2022)
por: Martínez Cruz, Martha B.
Publicado: (2022)
Control de velocidad de un motor síncrono de imanes permanentes accionado por un inversor trifásico multinivel
por: Mayoral Lagunes, Rosalino
Publicado: (2020)
por: Mayoral Lagunes, Rosalino
Publicado: (2020)
Diseño e implementación de un controlador de velocidad adaptativo para el motor síncrono de imanes permanentes
por: Vasquez Sanjuan, Jacob Javier
Publicado: (2020)
por: Vasquez Sanjuan, Jacob Javier
Publicado: (2020)
Diseño y construcción de dispositivos para el control de iluminación y de temperatura basados en transductores eléctricos
por: Santiago Espinosa, Felipe, et al.
Publicado: (2000)
por: Santiago Espinosa, Felipe, et al.
Publicado: (2000)
Propuesta de un marco de referencia para fomentar las habilidades suaves en la enseñanza del paradigma de Desarrollo Global de Software a nivel licenciatura
por: León Pérez, Andrés
Publicado: (2019)
por: León Pérez, Andrés
Publicado: (2019)
Aproximación de un Análisis del Proceso de Validación en el Modelo CMMI
por: García Pacheco, Ivan Antonio
Publicado: (2005)
por: García Pacheco, Ivan Antonio
Publicado: (2005)
Instrumentación y control de un prototipo de exoesqueleto para mano en rehabilitación asistida
por: de la Cruz Sánchez, Berith Atemoztli
Publicado: (2020)
por: de la Cruz Sánchez, Berith Atemoztli
Publicado: (2020)
Evolución de la instrumentación electrónica programable
por: Hernández Martínez, Heriberto Ildefonso, et al.
Publicado: (2006)
por: Hernández Martínez, Heriberto Ildefonso, et al.
Publicado: (2006)
Apuntes para un aprendiz de programador: App Inventor, programación en dispositivos móviles al alcance de todos
por: Fernández y Fernández, Carlos Alberto, et al.
Publicado: (2011)
por: Fernández y Fernández, Carlos Alberto, et al.
Publicado: (2011)
Diseño de un controlador de corriente para un inversor multinivel asimétrico conectado a la red eléctrica: una implementación en FPGA
por: Juárez Abad, José A.
Publicado: (2022)
por: Juárez Abad, José A.
Publicado: (2022)
Clasificación automática de requisitos no funcionales utilizando redes neuronales convolucionales
por: Martínez García, Sandra Estefanía
Publicado: (2020)
por: Martínez García, Sandra Estefanía
Publicado: (2020)
Control de múltiples robots no holonómicos bajo un esquema líder seguidor
por: Villalobos Álvarez, Exón F.
Publicado: (2022)
por: Villalobos Álvarez, Exón F.
Publicado: (2022)
El oído humano como generador de sonido y su transducción
por: Espinosa Justo, Enrique
Publicado: (2001)
por: Espinosa Justo, Enrique
Publicado: (2001)
Experiencias en el uso de AdWords en el Google Online Marketing Challenge 2011
por: Ibarra Cantú, Cecilia, et al.
Publicado: (2012)
por: Ibarra Cantú, Cecilia, et al.
Publicado: (2012)
Diseño y modelado de una arquitectura hardware del descriptor DAISY y su implementación en lógica reconfigurable
por: Santos Villalobos, Alberto de Jesús
Publicado: (2020)
por: Santos Villalobos, Alberto de Jesús
Publicado: (2020)
Diseño y modelado de una arquitectura hardware de un clasificador basado en máquinas de soporte vectorial
por: Avila Castro, Aldo
Publicado: (2022)
por: Avila Castro, Aldo
Publicado: (2022)
Diseño y manufactura de un disipador de calor para transistores de potencia IGBT
por: Palafox Alvarado, Gerardo Israel
Publicado: (2017)
por: Palafox Alvarado, Gerardo Israel
Publicado: (2017)
Microencapsulados de licopeno y compuestos fenólicos a partir de extractos de jitomate cherry (Solanum lycopersicum var. cerasiforme)
por: Espinoza Ramírez, Yarely
Publicado: (2023)
por: Espinoza Ramírez, Yarely
Publicado: (2023)
Soluciones aproximadas para el problema de horarios de la utm a través de una hiper-heurística basada en búsqueda tabú
por: Gómez Martínez, Juan Pablo
Publicado: (2018)
por: Gómez Martínez, Juan Pablo
Publicado: (2018)
Dinámica microbiana durante la producción de pulque fermentado usando un reactor semicontinuo
por: Calderón García, Concepción
Publicado: (2023)
por: Calderón García, Concepción
Publicado: (2023)
Diagnóstico en el proceso de gestión de requisitos para iniciar la mejora del entorno de trabajo en una pyme desarrolladora de software en Huajuapan de León, Oaxaca
por: Toledo Orozco, Raul
Publicado: (2018)
por: Toledo Orozco, Raul
Publicado: (2018)
Análisis y propuesta de mejora de una micro empresa productora de chocolate utilizando manufactura esbelta
por: Clemente Guerrero, Dulce María
Publicado: (2017)
por: Clemente Guerrero, Dulce María
Publicado: (2017)
Sistema de reconocimiento multimodal de emociones para interacción humano-robot
por: Pérez Gaspar, Luis Alberto
Publicado: (2015)
por: Pérez Gaspar, Luis Alberto
Publicado: (2015)
Propuesta de métricas para los requisitos software en la etapa de elicitación
por: Reyes Sánchez, Myriam Karenina
Publicado: (2015)
por: Reyes Sánchez, Myriam Karenina
Publicado: (2015)
Percepción del uso educativo del teléfono inteligente en estudiantes de la Universidad de la Sierra Sur
por: Cruz Barragán, Aidee
Publicado: (2017)
por: Cruz Barragán, Aidee
Publicado: (2017)
Impacto del software libre en la Universidad Tecnológica de la Mixteca
por: Cid de León, Vázquez, Carlos
Publicado: (2018)
por: Cid de León, Vázquez, Carlos
Publicado: (2018)
Designing distributed systems : patterns and paradigms for scalable, reliable services / Brendan Burns
por: Burns, Brendan
Publicado: (2018)
por: Burns, Brendan
Publicado: (2018)
Amanecer del pensamiento creador
por: Von Ziegler, Alejandro
Publicado: (2002)
por: Von Ziegler, Alejandro
Publicado: (2002)
Ciencia, datos y prácticas abiertas
por: Miranda Díaz, Germán Alejandro
Publicado: (2018)
por: Miranda Díaz, Germán Alejandro
Publicado: (2018)
Ejemplares similares
-
Implementación en erlang de sistemas distribuidos a través del cálculo de eventos
por: Aguilar López, José Yedid
Publicado: (2014) -
Especificación formal del protocolo de comunicaciones CAN FD mediante SDL
por: López Pérez, Edilberto
Publicado: (2015) -
Computación en México: acepciones y desviaciones
por: Ruiz Rodríguez, Ricardo
Publicado: (2005) -
Adaptación de las metodologías tradicionales cascada y espiral para la inclusión de evaluación inicial de usabilidad en el desarrollo de productos de software en México
por: Prieto Álvarez, Carlos Gerardo
Publicado: (2015) -
Especificación Formal en SDL de una pasarela CAN/LIN
por: Cruz García, Edgar Segismundo
Publicado: (2017)