INFORUM 2017: 9TH INFORUM - INFORMATICS SYMPOSIUM [THE ORGINAL TITLE IS IN PORTUGESE: 9º INFORUM - SIMPóSIO DE INFORMáTICA]

This page contains an index consisting of author-provided keywords.

A
ACID	Impacto de mecanismos de recuperação transacional em sistemas NoSQL
Adaptação Dinâmica	Adaptação Dinâmica de Protocolos de Consenso Bizantino Monitorização de Sistemas Tolerantes a Faltas Bizantinas para Suportar Adaptação Dinâmica
Adaptação Guiada por Políticas	Adaptação Guiada por Políticas de Sistemas Tolerantes a Faltas Bizatinas
ambientes pervasivos	GotIt!:uma plataforma de crowdsourcing para entreajuda quotidiana de cegos e idosos
analysis	IoT Solutions for Traffic Characterization in Smart Cities
Android	Computação distribuída em redes formadas por dispositivos móveis Um Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis
análise estática de código	Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código
Aplicação móvel	EduPARK app: a evolução de uma aplicação móvel para aprendizagem em contexto outdoor
aplicações web	Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código
Approximate Duplicate Elimination	Approximate Duplicate Elimination using State-Of-The-Art Tools: a Comparison
ArduPilot	Assessing the Robustness of a Quadcopter's Flight Controller to Sensor Failures
ARM TrustZone	ITZ: An Introspection Library for ARM TrustZone
Armazenamento distribuído	Um Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis
arx tool	Anonymization of clinical data
Assisted-drones	A Drone-Assisted Service for Emergency Scenarios
ATMS	IoT Solutions for Traffic Characterization in Smart Cities
automated drones	Automated Flying Drones Platform for Sensing Smart Spaces
Automatic testing	Automatic Business Process Testing
B
Bases de dados	Integração de Dados de Utilização de Serviços de Telecomunicações
Belenios	Integrating paper-based voting and Belenios -- a hybrid voting protocol for an academic organization
bicicletas	sistema de guarda de bicicletas em meio urbano
Biomedical word sense disambiguation	Evaluation of word embedding vector averaging functions for biomedical word sense disambiguation
blacklists	Threat Intelligence: Usando informaço sobre IPs maliciosos para melhorar a ecácia de um sistema SIEM
BlockChain	Trusted RTK using a Blockchain Ledger
Bluetooth	sistema de guarda de bicicletas em meio urbano
BPMN	Decomposição automática de processos de negócio dependentes da IoT com distribuição de dados e atividades
Business process testing	Automatic Business Process Testing
C
CAN	Reactive Error Recovery in Time-Triggered Networks using On-line Traffic Scheduling
Captura de dados	Integração de Dados de Utilização de Serviços de Telecomunicações
CBWFQ	Estudo Empírico do Desempenho dos Modelos de Gestão de Filas FIFO, WFQ e CBWFQ em Sistemas Reais
cegos	GotIt!:uma plataforma de crowdsourcing para entreajuda quotidiana de cegos e idosos
Cidades Inteligentes	Sistema de Recolha de Resíduos Adaptativo em Cidades Inteligentes
clinical data anonymization	Anonymization of clinical data
cloud computing	A Monitoring System Based on Fog Computing
Code Complexity Metrics	Support for Automatic Refactoring of Business Logic
Computação Autonómica	Adaptação Guiada por Políticas de Sistemas Tolerantes a Faltas Bizatinas
Computação distribuída	Computação distribuída em redes formadas por dispositivos móveis
Computação em "Clouds" móveis na periferia	Computação distribuída em redes formadas por dispositivos móveis
Computação na Nuvem	Processamento Incremental de Grafos em Sistemas Heterogêneos
Computer Assisted Language Learning	Second Language Learning Using Bilingual eBooks
Comutação de Protocolos	Adaptação Dinâmica de Protocolos de Consenso Bizantino
Consistência eventual	Replicação não uniforme de objetos replicados
Contracts	A Data Validation DSL for the OutSystems language (Comunication)
Controller Area Network	On the (non-intrusive) observability of the CAN FD protocol
Controller Area Networks	Comparing the inaccessibility characteristics of CAN and CAN FD protocols
crowdsoursing	GotIt!:uma plataforma de crowdsourcing para entreajuda quotidiana de cegos e idosos
Cryptography	TrustedVote - Trusted Computing for Internet Voting
D
dados clínicos	Migração Automática e Self-Service de Dados Clínicos
Data annotation	DatAPP: A Case of Data Annotation in Plant Phenotyping
Data Cleaning	Approximate Duplicate Elimination using State-Of-The-Art Tools: a Comparison
Data flow analysis	A Data Validation DSL for the OutSystems language (Comunication)
Data gathering	A Drone-Assisted Service for Emergency Scenarios
data mining	Decision Support System for City Public Transportation
database knowledge discovery	Decision Support System for City Public Transportation
Database system	PART: Árvore ART em Memória Persistente
Decision Support System	DecSpace: A Multi-Criteria Decision Analysis Framework
Decision-Aiding Process	DecSpace: A Multi-Criteria Decision Analysis Framework
Decomposição de processos de negócio	Decomposição automática de processos de negócio dependentes da IoT com distribuição de dados e atividades
Dependability and adaptability	On the (non-intrusive) observability of the CAN FD protocol
dependências circulares	Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código
Design-based research	EduPARK app: a evolução de uma aplicação móvel para aprendizagem em contexto outdoor
deteção de ameaças	Geração Automática de Conhecimento para SDI extraído de OSINTs
DiffServ	Estudo Empírico do Desempenho dos Modelos de Gestão de Filas FIFO, WFQ e CBWFQ em Sistemas Reais
Dispositivos móveis	Um Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis
Distributed cache	Multimedia Content Distribution in Over-The-Top Networks
Distributed mechanism	Multimedia Content Distribution in Over-The-Top Networks
distributed systems	A Monitoring System Based on Fog Computing
Driver Assistance Systems	Message Dissemination Mechanisms for Driving Support Scenarios
driver's behavior	IoT Solutions for Traffic Characterization in Smart Cities
drones as a service	Automated Flying Drones Platform for Sensing Smart Spaces
E
eBook	Second Language Learning Using Bilingual eBooks
eIDAS	RSIGN: Secure Remote Qualified Signature System
Electronic Voting	Integrating paper-based voting and Belenios -- a hybrid voting protocol for an academic organization TrustedVote - Trusted Computing for Internet Voting
Emergency scenarios	A Drone-Assisted Service for Emergency Scenarios
Energy-Efficiency	IoT for Energy-Efficiency: connecting a serious game with energy metering in the EnerGAware project
eSaúde	Migração Automática e Self-Service de Dados Clínicos
Especificação	Especificação de Interfaces Aplicacionais REST
estacionamento inteligente	sistema de guarda de bicicletas em meio urbano
F
failure-consistency	PART: Árvore ART em Memória Persistente
Fault Injection	Assessing the Robustness of a Quadcopter's Flight Controller to Sensor Failures
Fault Tolerance	Assessing the Robustness of a Quadcopter's Flight Controller to Sensor Failures A Monitoring System Based on Fog Computing
Fault-Tolerance	A Proposal for Fault-Tolerant and Self-Healing SDN Control Network Reactive Error Recovery in Time-Triggered Networks using On-line Traffic Scheduling
FIFO	Estudo Empírico do Desempenho dos Modelos de Gestão de Filas FIFO, WFQ e CBWFQ em Sistemas Reais
Flexible time-triggered	Reactive Error Recovery in Time-Triggered Networks using On-line Traffic Scheduling
floating car data	IoT Solutions for Traffic Characterization in Smart Cities
flush	PART: Árvore ART em Memória Persistente
Fog computing	Can Graphs Solve the Geo-aware State Deployment Problem? A Monitoring System Based on Fog Computing
Fork-Join	Fork-Work-Join: a model for executing Fork-Join programs on the GPU
Form Validation	A Data Validation DSL for the OutSystems language (Comunication)
G
Gamificação	EduPARK app: a evolução de uma aplicação móvel para aprendizagem em contexto outdoor
Geographical deployment	Can Graphs Solve the Geo-aware State Deployment Problem?
Gestão de Identidade	PORTAL DE GESTÃO DO UTILIZADOR DA ULISBOA
Gestão de Recursos	Processamento Incremental de Grafos em Sistemas Heterogêneos
GPGPU	Fork-Work-Join: a model for executing Fork-Join programs on the GPU
GPS	Trusted RTK using a Blockchain Ledger
H
histórico	Migração Automática e Self-Service de Dados Clínicos
Hybrid Control Plane	A Proposal for Fault-Tolerant and Self-Healing SDN Control Network
hybrid voting protocol	Integrating paper-based voting and Belenios -- a hybrid voting protocol for an academic organization
I
IDM	PORTAL DE GESTÃO DO UTILIZADOR DA ULISBOA
idosos	GotIt!:uma plataforma de crowdsourcing para entreajuda quotidiana de cegos e idosos
Information Management System	Towards an Information Management System for a Research Lab
Integração de dados	Integração de Dados de Utilização de Serviços de Telecomunicações
Internet of Things	IoT for Energy-Efficiency: connecting a serious game with energy metering in the EnerGAware project
internet voting	Integrating paper-based voting and Belenios -- a hybrid voting protocol for an academic organization TrustedVote - Trusted Computing for Internet Voting
Invariants	A Data Validation DSL for the OutSystems language (Comunication)
IoT	SheepIT: Automated Vineyard Weeding Control System IoT Solutions for Traffic Characterization in Smart Cities
Irregular Programs	Fork-Work-Join: a model for executing Fork-Join programs on the GPU
K
Knowledge-based approaches	Evaluation of word embedding vector averaging functions for biomedical word sense disambiguation
L
LDAP	PORTAL DE GESTÃO DO UTILIZADOR DA ULISBOA
M
machine learning	Decision Support System for City Public Transportation Analysis of classifiers and features for identification of pathogenic mutations
Middleware	IoT for Energy-Efficiency: connecting a serious game with energy metering in the EnerGAware project
migração	Migração Automática e Self-Service de Dados Clínicos
Mobile communication	NFC-based, off-line door lock access control mechanism
mobile development	UBILocus - Framework for location aware application development
Mobile distributed applications	Can Graphs Solve the Geo-aware State Deployment Problem?
Monitoring systems	Psychophysiology assessment tool using Virtual Reality
Monitorização	Indicadores de Segurança em Plataformas de Monitorização
Multi-Criteria Decision Aiding	DecSpace: A Multi-Criteria Decision Analysis Framework
N
Nagios	Indicadores de Segurança em Plataformas de Monitorização
named entity recognition	Benchmarking Named Entity Recognition Tools for Portuguese
named-entity recognition	Can the Wisdom of the Crowd Be Used to Improve the Creation of Gold-standard for Text Mining applications?
natural language processing	Benchmarking Named Entity Recognition Tools for Portuguese
navigation	UBILocus - Framework for location aware application development
Networks and Multimedia	Multimedia Content Distribution in Over-The-Top Networks
NFC	NFC-based, off-line door lock access control mechanism
Non-intrusive system observability	On the (non-intrusive) observability of the CAN FD protocol Comparing the inaccessibility characteristics of CAN and CAN FD protocols
NoSQL	Impacto de mecanismos de recuperação transacional em sistemas NoSQL
NTRIP	Trusted RTK using a Blockchain Ledger
NVM	PART: Árvore ART em Memória Persistente
O
Offline access control	NFC-based, off-line door lock access control mechanism
Ontologies	DatAPP: A Case of Data Annotation in Plant Phenotyping
open-source intelligence	Threat Intelligence: Usando informaço sobre IPs maliciosos para melhorar a ecácia de um sistema SIEM
OpenRefine	Approximate Duplicate Elimination using State-Of-The-Art Tools: a Comparison
order	PART: Árvore ART em Memória Persistente
Origin-Destination matrix	Survey of public transport routes using Wi-Fi
OSINT	Geração Automática de Conhecimento para SDI extraído de OSINTs
OTT	Multimedia Content Distribution in Over-The-Top Networks
Outdoor learning	EduPARK app: a evolução de uma aplicação móvel para aprendizagem em contexto outdoor
OutSystems	Support for Automatic Refactoring of Business Logic
P
paper voting	Integrating paper-based voting and Belenios -- a hybrid voting protocol for an academic organization
Pathogenicity Prediction	Analysis of classifiers and features for identification of pathogenic mutations
Pentaho Data Integration	Approximate Duplicate Elimination using State-Of-The-Art Tools: a Comparison
pervasive computing	A Monitoring System Based on Fog Computing
Plant Phenotyping	DatAPP: A Case of Data Annotation in Plant Phenotyping
Portal de Utilizador	PORTAL DE GESTÃO DO UTILIZADOR DA ULISBOA
positioning systems	UBILocus - Framework for location aware application development
posture control	SheepIT: Automated Vineyard Weeding Control System
privacy models	Anonymization of clinical data
Processamento de Fluxos	Computação distribuída em redes formadas por dispositivos móveis
Processamento Incremental de Grafos	Processamento Incremental de Grafos em Sistemas Heterogêneos
Processos de negócio dependentes da IoT	Decomposição automática de processos de negócio dependentes da IoT com distribuição de dados e atividades
Production	Towards an Information Management System for a Research Lab
Program Slicing	Support for Automatic Refactoring of Business Logic
programming framework	UBILocus - Framework for location aware application development
Protocolos de disseminação epidémicos	Coerência probabilística em sistemas chave-valor escaláveis
Proxy cache	Multimedia Content Distribution in Over-The-Top Networks
Psychophysiology assessment	Psychophysiology assessment tool using Virtual Reality
public transport	Survey of public transport routes using Wi-Fi
Publicador/subscritor	Um Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis
Q
QoS	Estudo Empírico do Desempenho dos Modelos de Gestão de Filas FIFO, WFQ e CBWFQ em Sistemas Reais
Quadcopter	Assessing the Robustness of a Quadcopter's Flight Controller to Sensor Failures
qualified digital signatures	RSIGN: Secure Remote Qualified Signature System
R
Real-time and embedded system	On the (non-intrusive) observability of the CAN FD protocol
Real-time and embedded systems	Comparing the inaccessibility characteristics of CAN and CAN FD protocols
Real-time communications	Comparing the inaccessibility characteristics of CAN and CAN FD protocols
Real-time reliable communications	On the (non-intrusive) observability of the CAN FD protocol
real-time systems	Reactive Error Recovery in Time-Triggered Networks using On-line Traffic Scheduling
Realidade aumentada	EduPARK app: a evolução de uma aplicação móvel para aprendizagem em contexto outdoor
Record Linkage	Approximate Duplicate Elimination using State-Of-The-Art Tools: a Comparison
recuperação	Impacto de mecanismos de recuperação transacional em sistemas NoSQL
Redes de Sensores sem Fios	Sistema de Recolha de Resíduos Adaptativo em Cidades Inteligentes
Redes sem fios	Um Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis
redo	Impacto de mecanismos de recuperação transacional em sistemas NoSQL
Refactoring	Support for Automatic Refactoring of Business Logic
Reliability	A Proposal for Fault-Tolerant and Self-Healing SDN Control Network
Reliability and safety	Comparing the inaccessibility characteristics of CAN and CAN FD protocols
remote digital signatures	RSIGN: Secure Remote Qualified Signature System
remote drone control	Automated Flying Drones Platform for Sensing Smart Spaces
Replicação não uniforme	Replicação não uniforme de objetos replicados
Replicação parcial	Replicação não uniforme de objetos replicados
Research lab	Towards an Information Management System for a Research Lab
Resilience	A Proposal for Fault-Tolerant and Self-Healing SDN Control Network
REST API	Especificação de Interfaces Aplicacionais REST
road traffic	IoT Solutions for Traffic Characterization in Smart Cities
Role-based access control	NFC-based, off-line door lock access control mechanism
RTK	Trusted RTK using a Blockchain Ledger
Rumor	Coerência probabilística em sistemas chave-valor escaláveis
S
scheduling	Reactive Error Recovery in Time-Triggered Networks using On-line Traffic Scheduling
SDI	Geração Automática de Conhecimento para SDI extraído de OSINTs
Security	TrustedVote - Trusted Computing for Internet Voting
security information event management	Threat Intelligence: Usando informaço sobre IPs maliciosos para melhorar a ecácia de um sistema SIEM
security metrics	Threat Intelligence: Usando informaço sobre IPs maliciosos para melhorar a ecácia de um sistema SIEM
Segurança	Geração Automática de Conhecimento para SDI extraído de OSINTs Indicadores de Segurança em Plataformas de Monitorização
segurança de software	Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código
Segurança no estacionamento	sistema de guarda de bicicletas em meio urbano
Self-Healing	A Proposal for Fault-Tolerant and Self-Healing SDN Control Network
Sensor Fusion	Assessing the Robustness of a Quadcopter's Flight Controller to Sensor Failures
sensor network	A Monitoring System Based on Fog Computing
Sensors communication	A Drone-Assisted Service for Emergency Scenarios
serious games	Second Language Learning Using Bilingual eBooks IoT for Energy-Efficiency: connecting a serious game with energy metering in the EnerGAware project
server	Reactive Error Recovery in Time-Triggered Networks using On-line Traffic Scheduling
SI	Impacto de mecanismos de recuperação transacional em sistemas NoSQL
Single Nucleotide Variants	Analysis of classifiers and features for identification of pathogenic mutations
Single Page Applications	A Data Validation DSL for the OutSystems language (Comunication)
Sistema de Monitorização	Monitorização de Sistemas Tolerantes a Faltas Bizantinas para Suportar Adaptação Dinâmica
Sistema de tipos	Especificação de Interfaces Aplicacionais REST
Sistemas adaptativos	Sistema de Recolha de Resíduos Adaptativo em Cidades Inteligentes Adaptação Guiada por Políticas de Sistemas Tolerantes a Faltas Bizatinas
sistemas de localização em tempo real	sistema de guarda de bicicletas em meio urbano
Sistemas entre-pares	Coerência probabilística em sistemas chave-valor escaláveis
SMT	Especificação de Interfaces Aplicacionais REST
software architecture	UBILocus - Framework for location aware application development
Software Construction techniques	A Data Validation DSL for the OutSystems language (Comunication)
Software Defined Networking	A Proposal for Fault-Tolerant and Self-Healing SDN Control Network
Software testing	Automatic Business Process Testing
Specific Phobia	Psychophysiology assessment tool using Virtual Reality
Spider Phobia	Psychophysiology assessment tool using Virtual Reality
T
Task automation	DatAPP: A Case of Data Annotation in Plant Phenotyping
temporal redundancy	Reactive Error Recovery in Time-Triggered Networks using On-line Traffic Scheduling
Testes	Especificação de Interfaces Aplicacionais REST
text mining	Benchmarking Named Entity Recognition Tools for Portuguese Can the Wisdom of the Crowd Be Used to Improve the Creation of Gold-standard for Text Mining applications?
Threat Inteligence	Geração Automática de Conhecimento para SDI extraído de OSINTs
threat intelligence	Threat Intelligence: Usando informaço sobre IPs maliciosos para melhorar a ecácia de um sistema SIEM
time-triggered	Reactive Error Recovery in Time-Triggered Networks using On-line Traffic Scheduling
Tipos de dados replicados	Replicação não uniforme de objetos replicados
Tolerância a Faltas Bizantina	Monitorização de Sistemas Tolerantes a Faltas Bizantinas para Suportar Adaptação Dinâmica
Tolerância a Faltas Bizantinas	Adaptação Dinâmica de Protocolos de Consenso Bizantino Adaptação Guiada por Políticas de Sistemas Tolerantes a Faltas Bizatinas
transação	Impacto de mecanismos de recuperação transacional em sistemas NoSQL
Trust and Reputation	Trusted RTK using a Blockchain Ledger
Trusted Computing	TrustedVote - Trusted Computing for Internet Voting
U
undo	Impacto de mecanismos de recuperação transacional em sistemas NoSQL
Universidade de Lisboa	PORTAL DE GESTÃO DO UTILIZADOR DA ULISBOA
V
VANET	Decision Support System for City Public Transportation
vehicle tracker	IoT Solutions for Traffic Characterization in Smart Cities
Vehicular Networks	Message Dissemination Mechanisms for Driving Support Scenarios
vineyards	SheepIT: Automated Vineyard Weeding Control System
Virtal Machine Introspection	ITZ: An Introspection Library for ARM TrustZone
virtual fence	SheepIT: Automated Vineyard Weeding Control System
Virtual Reality	Psychophysiology assessment tool using Virtual Reality
Virtualization	ITZ: An Introspection Library for ARM TrustZone
vulnerabilidades	Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código
W
WAVE	Message Dissemination Mechanisms for Driving Support Scenarios
Web Application	DecSpace: A Multi-Criteria Decision Analysis Framework
weed control	SheepIT: Automated Vineyard Weeding Control System
WFQ	Estudo Empírico do Desempenho dos Modelos de Gestão de Filas FIFO, WFQ e CBWFQ em Sistemas Reais
Wi-Fi	Survey of public transport routes using Wi-Fi
wisdom of the crowd	Can the Wisdom of the Crowd Be Used to Improve the Creation of Gold-standard for Text Mining applications?
Word embeddings	Evaluation of word embedding vector averaging functions for biomedical word sense disambiguation
Work-stealing	Fork-Work-Join: a model for executing Fork-Join programs on the GPU

Disclaimer | Powered by EasyChair Smart Program