Browsing Computación by Issue Date
Now showing items 21-40 of 156
-
Protocolo de tiempo real con resolución de colisiones para redes Ethernet /
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2001) -
Sistema de manejo de color multiplataforma /
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2001) -
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) -
Identificación en línea de sistemas de eventos discretos :fundamentos y algoritmos para la síntesis de modelos en redes de petri
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2002) -
Algoritmos adaptativos útiles para generar comportamientos en ambientes virtuales dinámicos = Adaptive algorithms useful to generate behaviours in dynamic virtual environments
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2002) -
Coordinación distribuida basada en agentes de sistemas de manufactura flexible
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2002) -
Un editor de ambientes virtuales dinámicos = A dynamic-virtual environments editor
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2002) -
Metodología para el análisis y diseño de sistemas multiagente
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2002) -
Un sistema de red a tres niveles para el modelado de agentes móviles
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2002) -
Comprobación de modelos explícita basada en autómatas de Búchi y lógica temporal lineal
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003) -
Verificación de una clase de especificaciones de seguridad en controladores de procedimientos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003) -
Robustez de un Sistema de Marcas de Agua Digitales bajo la condición de un ataque de filtrado linear y ruido aditivo
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003) -
Modelado y análisis de protocolos de interacción entre agentes por medio de redes de petri
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003) -
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) -
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) -
Arquitectura de software para un sistema de comercio electrónico B2C
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2003) -
Diagnóstico de fallas en sistemas de manufactura discretos =Petri-net based fault diagnosis of discrete manufacturing systems
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004) -
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)