Results 11 to 20 of about 11,999 (98)
Political Elites in the Chilean legislative Branch: The Chamber of Deputies (1990-2014) [PDF]
, 2016 Este artículo analiza la composición social de las élites políticas en el poder legislativo chileno, específicamente en la Cámara de Diputados entre 1990 y 2014.
Cisternas, Carla +1 more
core +1 more source
Anais Estendidos do XXXIX Simpósio Brasileiro de Banco de Dados (SBBD Estendido 2024)Um sistema de Grafo de Conhecimento Empresarial (Enterprise Knowledge Graph ou EKG) é um paradigma baseado em tecnologias da Web Semântica e Grafos de Conhecimento para integrar fontes de dados heterogêneas.
R. Freitas, V. Vidal
semanticscholar +1 more source
Revista Iberoamericana de Tecnología en Educación y Educación en TecnologíaEste artículo escrito por integrantes del grupo de investigación TecMovAE, que desde hace más de doce años investiga la aplicación educativa de las tecnologías digitales en la universidad, en el marco del proyecto de investigación PID 8435, en curso ...
A. Spiegel +6 more
semanticscholar +1 more source
Pobres con empleo: un análisis de transiciones de pobreza laboral en España
Revista Española de Investigaciones Sociológicas (REIS)España registra una de las tasas más altas de pobreza laboral en Europa y una alta inestabilidad laboral. Reducir la pobreza laboralrequiere comprender los mecanismos de entrada y salida de esta situación, y los factores protectores y de riesgo.
Alba Lanau, M. Lozano
semanticscholar +1 more source
Generación de casos de prueba para composiciones de servicios web utilizando Búsqueda Dispersa [PDF]
, 2009 Una parte que conlleva una labor intensiva dentro de la prueba del software es la generación de casos de prueba. El coste de esta tarea puede ser reducido mediante el uso de técnicas que permitan su automatización.
Blanco Aguirre, Raquel +2 more
core
Programación VLSI y síntesis de circuitos asíncronos mediante composición de redes de Petri [PDF]
, 1995 Tangram es un lenguaje de programación VLSI traducible automáticamente a redes de módulos asíncronos llamados componentes de sincronización. En este artículo se usan los Grafos de Transiciones de Señales (STGs) para describir el comportamiento de estos ...
Cortadella, Jordi +1 more
core
FlexiMC Framework: framework flexible para model checking [PDF]
, 2009 Los algoritmos de verificación de modelos (Model Checking) verifican una fórmula lógica sobre un modelo. Esta técnica permite tanto comprobar un correcto funcionamiento como descubrir errores de diseño y es aplicable a una gran variedad de campos.
Georgiev Mikovski, Iván +2 more
core
Análisis de aplicaciones móviles utilizando métodos formales [PDF]
, 2017 Finalmente, los casos de prueba son ejecutados sobre dispositivos móviles de manera secuencial para controlar la ejecución de las Apps, parlamente, un proceso de verificación en tiempo de ejecución analiza si las trazas de capturadas de los dispositivos ...
Espada Sandi, Ana Rosario
core +1 more source
Aplicación con Google Maps [PDF]
, 2009 El principal objetivo de este proyecto es realizar un aplicativo web que utilice API's para que, a partir de un conjunto de rutas almacenadas en el sistema, éste sea capaz de generar nuevas rutas a partir de éstas, de modo que dicho sistema no se ...
García Agudo, Juan Ruperto +3 more
core