Buscar
Mostrando ítems 41-50 de 90
Verificación formal de procesos VHDL utilizando lógica temporal lineal
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)
Modelo dinámico de organizaciones para el trabajo cooperativo /
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2001)
Modelado multinivel de sistemas de procesos por lotes
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)
Tecnología para un sistema de comercio electrónico
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)
Una plataforma para la administración de agentes móviles en ambientes inalámbricos =A platform to manage mobile agents in wireless environments
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004)
Modelado y verificación por comprobación de modelos de una clase de sistemas de procesamiento industrial
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004)
Diagnosticabilidad y localización de fallas en sistemas de eventos discretos basadas en modelos de redes de Petri
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004)
Diagnóstico distribuido de faltas en sistemas de eventos discretos utilizando modelos reducidos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
2PSW :algoritmo de escritura segura para tarjetas inteligentes sin contacto
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004)
Micro-simulación de tráfico urbano basada en sistemas de agentes móviles
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)