Buscar
Mostrando ítems 21-30 de 66
Type abstraction and faceted types for declassification
(Universidad de Chile, 2020)
El tipado de seguridad para control de ujos de información previene que información con-
dencial sea liberada hacia canales públicos. La propiedad fundamental de control de ujos
de información, conocida como ...
Extracción y análisis de información de accidentes de tránsito desde redes sociales
(Universidad Nacional de ColombiaBogotá - Ingeniería - Maestría en Ingeniería - Ingeniería de Sistemas y ComputaciónDepartamento de Ingeniería de Sistemas e IndustrialFacultad de IngenieríaBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2021)
La detección de accidentes de tránsito es una estrategia importante para que los gobiernos implementen políticas que reduzcan este fenómeno. Usualmente usan técnicas como procesamiento de imágenes, dispositivos RFID, y ...
Los múltiples rostros de la filosofía de la informaciónMultiple Faces of the Philosophy of Information
(Universidad de San Buenaventura - CaliDocumento USBCali, 2017)
REAL-T: Time Modularization in Reactive Distributed Applications
(Springer NatureSwitzerland., 2018)
In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
REAL-T: Time Modularization in Reactive Distributed Applications
(Springer NatureSuiza, 2018)
In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
Towards Real-Time Semantics for a Distributed Event-Based MOP Language
(Springer NatureMarruecos, 2018)
This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between ...
Iconicidade nas sentenças topicalizadas da Libras: uma motivação semântica e pragmática
(2020)
Neste trabalho, desenvolvemos uma pesquisa sobre a língua de sinais brasileira no âmbito da semântica e da pragmática. Nosso objetivo principal é investigar e identificar quais manifestações icônicas atuam como tendências ...
Los múltiples rostros de la filosofía de la información
(Universidad de San Buenaventura - CaliDocumento USBCali, 2016-01)
La filosofía de la información ha experimentado un enorme auge en los últimos años, consolidándose como un ámbito de indagación filosófica autónomo. Su tema de estudio, el concepto de información, es uno de los términos ...
Uma Estratégia para implementar refatorações seguras no eclipse
(DCOMP - Departamento de Computação – Ciência da Computação – São Cristóvão - PresencialUniversidade Federal de Sergipe, 2018)