Aspectos de modelagem de ambientes de computação ubíqua

Detalhes bibliográficos
Autor(a) principal: Campiolo, Rodrigo
Data de Publicação: 2005
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: http://repositorio.ufsc.br/handle/123456789/102496
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico.Programa de Pós-Graduação em Ciência da Computação
id UFSC_826d44595068804c39daacbe96a100d7
oai_identifier_str oai:repositorio.ufsc.br:123456789/102496
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Universidade Federal de Santa CatarinaCampiolo, RodrigoSobral, João Bosco Mangueira2013-07-16T01:06:47Z2013-07-16T01:06:47Z20052005222365http://repositorio.ufsc.br/handle/123456789/102496Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico.Programa de Pós-Graduação em Ciência da ComputaçãoComputação ubíqua, ou pervasive computing, introduz o uso de dispositivos móveis e/ou embutidos em objetos e ambientes, com capacidade de comunicação e computação, interagindo diretamente com o homem. Modelar e simular cenários baseados nessa filosofia implica em sobrepor uma série de desafios, a maioria associada à complexidade e heterogeneidade dos elementos presentes em tais cenários. Este trabalho especifica e discute os requisitos, as características e algumas funções essenciais para modelagem e simulação de ambientes de computação ubíqua, auxiliado por uma linguagem de especificação formal, Object-Z. Para alcançar esse objetivo, foi desenvolvido um estudo minucioso dos elementos, características, desafios, projetos e tecnologias associadas à computação ubíqua. Paralelamente, um estudo sobre os conceitos essenciais de modelagem e projetos relacionados à simulação foram pesquisados e analisados. Baseada nessas pesquisas e análises, a especificação foi desenvolvida e avaliada sob três distintos cenários exemplos de computação ubíqua. Como conseqüência, verifica-se que o modelo provê estruturas para representar, analisar e discutir os aspectos para modelagem e simulação em diversos cenários de computação ubíqua. Através da representação e discussão desses aspectos, é possível não apenas modelar cenários, mas investigar em profundidade, desde as questões básicas até as mais complexas, os desafios, soluções, características e comportamentos nos ambientes.xii, 158 f.| il.porFlorianópolis, SCInformaticaCiência da computaçãoComputação ubiquaAspectos de modelagem de ambientes de computação ubíquainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL222365.pdfapplication/pdf1595411https://repositorio.ufsc.br/bitstream/123456789/102496/1/222365.pdffe21c401f1c0f38cdc465e4417a24b99MD51123456789/1024962013-07-15 22:06:47.182oai:repositorio.ufsc.br:123456789/102496Repositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732013-07-16T01:06:47Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.en.fl_str_mv Aspectos de modelagem de ambientes de computação ubíqua
title Aspectos de modelagem de ambientes de computação ubíqua
spellingShingle Aspectos de modelagem de ambientes de computação ubíqua
Campiolo, Rodrigo
Informatica
Ciência da computação
Computação ubiqua
title_short Aspectos de modelagem de ambientes de computação ubíqua
title_full Aspectos de modelagem de ambientes de computação ubíqua
title_fullStr Aspectos de modelagem de ambientes de computação ubíqua
title_full_unstemmed Aspectos de modelagem de ambientes de computação ubíqua
title_sort Aspectos de modelagem de ambientes de computação ubíqua
author Campiolo, Rodrigo
author_facet Campiolo, Rodrigo
author_role author
dc.contributor.en.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Campiolo, Rodrigo
dc.contributor.advisor1.fl_str_mv Sobral, João Bosco Mangueira
contributor_str_mv Sobral, João Bosco Mangueira
dc.subject.classification.en.fl_str_mv Informatica
Ciência da computação
Computação ubiqua
topic Informatica
Ciência da computação
Computação ubiqua
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico.Programa de Pós-Graduação em Ciência da Computação
publishDate 2005
dc.date.submitted.en.fl_str_mv 2005
dc.date.issued.fl_str_mv 2005
dc.date.accessioned.fl_str_mv 2013-07-16T01:06:47Z
dc.date.available.fl_str_mv 2013-07-16T01:06:47Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.ufsc.br/handle/123456789/102496
dc.identifier.other.en.fl_str_mv 222365
identifier_str_mv 222365
url http://repositorio.ufsc.br/handle/123456789/102496
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv xii, 158 f.| il.
dc.publisher.none.fl_str_mv Florianópolis, SC
publisher.none.fl_str_mv Florianópolis, SC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/102496/1/222365.pdf
bitstream.checksum.fl_str_mv fe21c401f1c0f38cdc465e4417a24b99
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1766805318309773312