Decentralized Stream Runtime Verification for Timed Asynchronous Networks
IEEE Access, 2023 Problem: We study the problem of monitoring distributed systems such as smart buildings, ambient living, wide area networks and other distributed systems that get monitored periodically in human scale times.
Luis Miguel Danielsson, Cesar Sanchez
doaj +1 more source
El conocimiento jurídico. Una propuesta tecnológica para su gestión
GECONTEC: Revista Internacional de Gestión del Conocimiento y la Tecnología, 2022 El presente trabajo fue realizado en respuesta a una línea de investigación de un proyecto del Centro de Gobierno Electrónico (CEGEL), en la Universidad de las Ciencias Informáticas, adscripto al programa ramal de investigación vigente en el Ministerio ...
Berenice Guevara Delgado +1 more
doaj +1 more source
El conocimiento jurídico. Una propuesta tecnológica para su gestión (Legal knowledge. A technological proposal for its management) [PDF]
GECONTEC: Revista Internacional de Gestión del Conocimiento y la Tecnología, 2013 Resumen El presente trabajo fue realizado en respuesta a una línea de investigación de un proyecto del Centro de Gobierno Electrónico (CEGEL), en la Universidad de las Ciencias Informáticas, adscripto al programa ramal de investigación vigente en el ...
Berenice Guevara Delgado +1 more
doaj +3 more sources
Modelos informáticos para entender la evolución. (Mecanismos de evolución adaptativa facilitada)
Arbor: Ciencia, Pensamiento y Cultura, 2002 «La generación espontánea de la vida en la tierra habría tenido tantas probabilidades de darse como el ensamblaje de un avión 747 por un tornado a su paso por un depósito de chatarra».
Juan Cedano
doaj +1 more source
Revista Tradumàtica, 2017 Mikel Forcada es Catedrático de Universidad en el Departamento de Lenguajes y sistemas informáticos de la Universidad de Alicante, donde desarrolla su investigación en el marco del grupo de investigación Transducens.
Amparo Alcina
doaj +1 more source
Análisis de rendimiento de las tecnologías Plinq y Linq en sistemas informáticos
Revista Científica y Tecnológica UPSE, 2015 La investigación se basó en analizar el rendimiento de los lenguajes integrados de consulta de datos LINQ y PLINQ, para el desarrollo de sistemas informáticos.
José Guerra +2 more
doaj +1 more source
Sistema de ayuda a la decisión basado en un data warehouse
Maskana, 2017 RESUMEN Actualmente la Universidad de Cuenca opera varios sistemas informáticos que generan grandes cantidades de datos, esto representa una heterogeneidad desde diferentes puntos de vista tales como: base de datos, lenguajes de programación, esquemas,
Carmen Rójas-Muñóz, Víctor Saquicela
doaj
A new treatment for sarcoma extracted from combination of miRNA deregulation and gene association rules. [PDF]
Signal Transduct Target Ther, 2023 García-Heredia JM +5 more
europepmc +1 more source
ELI: an IoT-aware big data pipeline with data curation and data quality. [PDF]
PeerJ Comput Sci, 2023 de Haro-Olmo FJ +4 more
europepmc +1 more source
A computer architecture based on disruptive information technologies for drug management in hospitals. [PDF]
PeerJ Comput Sci, 2023 Chalmeta R +2 more
europepmc +1 more source