Search
Now showing items 101-110 of 156
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)
Especificación multinivel de protocolos de interacción en sistemas de agentes móviles
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004)
Estudio de la paralelización de algoritmos útiles en minería de datos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004)
Seguridad para un sistema de comercio electrónico
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004)
Representación y explotación del conocimiento para la fase de descripción en modelado declarativo de ambientes virtuales =Representation and exploitation of knowledge for the phase of description in declarative modeling of virtual environments
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2006)
Representación de una fórmula de lógica temporal lineal proposicional como un autómata de Búchi generalizado etiquetado
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Una herramienta para el análisis de modelos en redes de Petri
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2010)