Sistemas de tipos para capturar informação de contexto em computação pervasiva
Fecha
2010-12-09Autor
Pinto Filho, Jorge Luiz Titoneli
Metadatos
Mostrar el registro completo del ítemResumen
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.
Colecciones
El ítem tiene asociados los siguientes ficheros de licencia: