Sistemas de tipos para capturar informação de contexto em computação pervasiva
Abstract
A Computação Pervasiva já é uma realidade no cotidiano das pessoas. Todos os dias novos
dispositivos são criados visando à segurança, à comodidade, ao entretenimento e ao bem-estar
geral do indivíduo. Os ambientes inteligentes estão se tornando frequentes e se aproximando
celeremente do cidadão comum. A demanda por softwares que gerenciem esta interação
homem-ambiente-dispositivo também cresce concomitantemente, exigindo mecanismos que
auxiliem a construção dos mesmos. A captura e organização correta dos tipos de dados que
deverão ser manipulados pelos aplicativos presentes no ambiente constitui fator fundamental
para o sucesso das respostas requeridas pelos usuários. Daí a ideia de se realizar este estudo
sobre um sistema de tipos que possa estruturar as variáveis presentes no contexto de um
ambiente com implementação da computação pervasiva.
Collections
The following license files are associated with this item: