Sistemas de tipos para capturar informação de contexto em computação pervasiva
Visualizar/ Abrir
Data
2010-12-09Autor
Pinto Filho, Jorge Luiz Titoneli
Metadata
Mostrar registro completoResumo
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.
Coleções
Os arquivos de licença a seguir estão associados a este item: