Abstraaao
Mostrando 13-24 de 30 artigos, teses e dissertações.
-
13. RepliX: a mechanism for XML data replication / RepliX: Um mecanismo para a replicaÃÃo de dados XML
XML tem se tornado um padrÃo amplamente utilizado na representaÃÃo e troca de dados em aplicaÃÃes. Devido a essa crescente utilizaÃÃo do XML, torna-se necessÃria a existÃncia de sistemas eficientes de armazenamento e recuperaÃÃo de dados XML. EstÃo sendo desenvolvidos para este fim Bancos de Dados XML Nativos (BDXNs). Estes bancos implementam mui
Publicado em: 2007
-
14. A framework for the specification and validation of Real Time Systems using Circus Action / A framework for the specification and validation of Real Time Systems using Circus Action
Circus à uma linguagem de especificaÃÃo e programaÃÃo que combina CSP, Z, e construtores do CÃlculo de Refinamento. A semÃntica de Circus està baseada na Unifying Theories of Programming (UTP). Neste trabalho estendemos um subconjunto de Circus com operadores de tempo. A nova linguagem à denominada de Circus Time Action. Propomos um modelo novo do t
Publicado em: 2006
-
15. VerificaÃÃo de modelos para programas em um subconjunto de JCSP
A veriÂcaÂc~ao de modelos formais gerados a partir de programas concorrentes tem sido bem aceita na indÃstria e na academia durante a fase de testes. A busca por qualidade de software tem motivado este uso, principalmente pelo fato de que testar programas concorrentes nÃo à uma tarefa trivial e à suscetÃvel a erros. Os modelos sÃo descritos atravÃs
Publicado em: 2006
-
16. SCExamine: um mecanismo para introspecÃÃo de sistemas em SystemC
No competitivo mercado de sistemas digitais dedicados, a crescente demanda por produtos com funcionalidades cada vez mais complexas tem tornado o projeto de tais sistemas um grande desafio. Neste cenÃrio, torna-se necessÃria à construÃÃo de modelos virtuais de sistemas, em diferentes nÃveis de abstraÃÃo, a fim de permitir a exploraÃÃo do espaÃo de
Publicado em: 2006
-
17. Aspecth: uma extensÃo de Haskell orientada a aspectos
Uma das principais tÃcnicas de abstraÃÃo oferecida pelas linguagens de programaÃÃo atuais à a possibilidade de dividir um sistema em unidades de cÃdigo que capturam suas funcionalidades. Esta abstraÃÃo permite que mudanÃas em uma unidade em particular nÃo se propaguem por todo sistema. No entanto, isto à apenas aplicÃvel quando tais funcionalida
Publicado em: 2005
-
18. X02: Um gerador de cÃdigo MDA baseado em mapeamentos de modelos
Atualmente, devido Âas exigÃncias do mercado e Âa grande competitividade, as empresas precisam desenvolver sistemas de informaÃÃo com qualidade e dentro de prazos cada vez mais curtos. Neste cenÃrio, este trabalho apresenta o ambiente XO2, que possibilita gerar grande parte do cÃdigo-fonte de um sistema de informaÃÃo orientado a objetos. O ambiente
Publicado em: 2005
-
19. Module-based learning in autonomous mobile robots.
A informaÃÃo disponÃvel para robÃs em tarefas reais encontra-se amplamente distribuÃda tanto no espaÃo quanto no tempo, fazendo com que o agente busque informaÃÃes relevantes. Neste trabalho, uma soluÃÃo que usa conhecimento qualitativo e quantitativo da tarefa à implementada a fim de permitir que tarefas robÃticas reais sejam tratÃveis por algo
Publicado em: 2005
-
20. Transformlets: um framework para construÃÃo de transformadores de modelos MDA / Transformlets: um framework para construÃÃo de transformadores de modelos MDA
A necessidade de integraÃÃo de sistemas de computaÃÃo heterogÃneos tem sido um problema discutido hà muitas dÃcadas. Um dos maiores esforÃos conhecidos para prover esta integraÃÃo à a Internet, com seus protocolos padronizados, abertos e independentes de topologia ou tecnologias de redes de computadores. Contudo o problema de integraÃÃo estenden
Publicado em: 2004
-
21. Dal contenuto dÂintelligibilità del concetto a chi corrisponde la realtà giuridica al Diritto comme proprietà metafisica delÂexistere umano / Do conteÃdo de inteligibilidade do conceito a que corresponde a realidade jurÃdica ao direito como propriedade metafÃsica do existir humano
Partindo da consideraÃÃo das manifestaÃÃes fenomenolÃgicas da realidade social a que corresponde o conceito de direito e aplicando sobre elas um trÃplice procedimento de abstraÃÃo eidÃtica, pretende a tese atingir o aspecto mais Ãntimo dessa realidade, a saber, o direito como propriedade metafÃsica do existir humano. Situa na natureza concreta dos
Publicado em: 2004
-
22. Aprendizado autÃnomo aplicado a soluÃÃo de conflitos em gerenciamento de trÃfego aÃreo.
Modelos hÃbridos sÃo uma poderosa abstraÃÃo utilizada para representar sistemas hÃbridos, que consistem de uma combinaÃÃo de sistemas com dinÃmica contÃnua e discreta. A natureza hÃbrida de um sistema pode ser resultante da atuaÃÃo de um controle discreto sobre uma unidade de produÃÃo de natureza contÃnua ou da dinÃmica da unidade em si. Um s
Publicado em: 2004
-
23. Uma abordagem para validaÃÃo de protocolos de comunicaÃÃo em ambientes de simuloaÃÃo
O uso de tÃcnicas de simulaÃÃo para implementar cenÃrios de testes em protocolos de comunicaÃÃo tem crescido bastante nos Ãltimos anos. Centros de pesquisas acadÃmicos e industriais tÃm dedicado especial interesse em simulaÃÃo de ambientes com variados graus de complexidade, sobretudo pelo baixo custo e pela rapidez com que os experimentos podem s
Publicado em: 2004
-
24. ExtraÃÃo de informaÃÃes estruturais e de comunicaÃÃo de descriÃÃes em SystemC
No competitivo mercado de sistemas digitais dedicados, a crescente demanda por produtos com funcionalidades cada vez mais complexas tem tornado o projeto de tais sistemas um grande desafio. Neste cenÃrio, torna-se necessÃria a construÃÃo de modelos virtuais do sistema, em diferentes nÃveis de abstraÃÃo, a fim de permitir a exploraÃÃo do espaÃo de p
Publicado em: 2004