Pensamento Matemático @ Ciência da ComputaçãoPensamento Matemático @ Ciência da Computaçãohttps://repositorio.ufsc.br/handle/123456789/1364302026-09-06T02:26:41Z2026-09-06T02:26:41ZEspecificando Privacidade em Ambientes de Computação UbíquaKalempa, Vivian CremerSobral, João Bosco Mangueirahttps://repositorio.ufsc.br/handle/123456789/1976902019-07-16T15:06:02Z2017-11-30T00:00:00ZEspecificando Privacidade em Ambientes de Computação Ubíqua
Kalempa, Vivian Cremer; Sobral, João Bosco Mangueira
A computação ubíqua provê ambientes com serviços e dispositivos interconectados que promovem a integração de
infra-estrutura digital na vida das pessoas. Porém, por haver muitos empecilhos técnicos que impedem que a computação ubíqua
se torne realidade, o foco da pesquisa atual acaba voltando-se, na maioria dos casos,
para os assuntos técnicos como, por exemplo, como conectar novos dispositivos e construir aplicações úteis para melhorar a funcionalidade
desses ambientes. Contudo, assuntos como segurança e privacidade ainda são pouco tratados. Além disso, nesses ambientes torna-se difícil a
separação entre a seguraça física e a segurança digital. Assim, fica claro que o paradigma da computação ubíqua introduz novas vulnerabilidades
e exposições aos usuários dos seus ambientes, mostrando que as tecnologias, políticas e leis existentes não estão adequadas para lidar com essas
novas situações. Neste livro, os desafios em garantir privacidade em ambientes de computação ubíqua são explorados. Além disso, um metamodelo que
endereça alguns destes desafios é descrito, apresentado e simulado na ferramenta Opnet.
Livro oriundo da dissertação de mestrado de Vivian Cremer Kalempa, PPGCC-UFSC, 2009, com orientação do co-autor.
2017-11-30T00:00:00ZDa Computabilidade Formal às Máquinas ProgramáveisSobral, João Bosco M.https://repositorio.ufsc.br/handle/123456789/1573172015-12-23T14:03:49Z2015-12-23T00:00:00ZDa Computabilidade Formal às Máquinas Programáveis
Sobral, João Bosco M.
(0) O Embrião da Ciência da Computação; (1) Calculadoras Macânicas, a pré-história dos computadores; (2) Alonzo Church, funções computáveis; (3) Alan Turing, a computação sem computador; (4)A Computabilidade de Emil Post; (5)Funções Recursivas Computáveis; (6)O Legado de von Neumann; (7) Shannon, da álgebra de Boole à matemática da comunicação; (8)Breve história dos primeiros computadores; (9)História da Teoria da Complexidade; (10)Modelos de computação em grafos ; (11)Lógicas Clássicas e Não-Clássicas; (12)Visão Abstrata de Dados; (13)O paradigma da computação ubíqua; (14) O Futuro, a computação quântica.
Livro de apoio ao ensino de graduação em disciplinas de matemática discreta e lógica, em cursos de ciência da computação.
2015-12-23T00:00:00ZDos Primórdios da Matemática aos Sistemas Formais da ComputaçãoSobral, João Bosco M.https://repositorio.ufsc.br/handle/123456789/1573162015-12-23T13:34:51Z2015-12-23T00:00:00ZDos Primórdios da Matemática aos Sistemas Formais da Computação
Sobral, João Bosco M.
(0) Introdução (1) As Bases da Ciência da Computa cão,(2) As Origens: A Aritmética, (3) Os Números, (4) Os Números Primos, (5) Congruência e Aritm ética Modular, (6) Álgebra na Europa (7) A Lógica: de Leibniz a Boole, (8) Século XIX: Frege e a Lógica dos Predicados, (9) A Teoria dos Conjuntos, (10) Rela ções e Funcões, (11) Grupos e Corpos (12) Conjuntos e Enumera cão, (13) A Aritm ética nos Séculos XIX e XX, (14) Hilbert - Formalismo e os Sistemas Axiom áticos, (15) Gödel e os Limites dos Sistemas Formais, (16) Dos Fundamentos da Matemática aos Sistemas Formais, e (17) Os Sistemas Formais da Computa cão.
Livro de apoio ao ensino de graduação em disciplinas de matemática discreta e lógica, em cursos de ciência da computação.
2015-12-23T00:00:00Z