14 resultados para Java,
em Reposit
Resumo:
As comunicaes electrnicas so cada vez mais o meio de eleio para negcios entre entidades e para as relaes entre os cidados e o Estado (e-government). Esta diversidade de transaces envolve, muitas vezes, informao sensvel e com possvel valor legal. Neste contexto, as assinaturas electrnicas so uma importante base de confiana, fornecendo garantias de integridade e autenticao entre os intervenientes. A produo de uma assinatura digital resulta no s no valor da assinatura propriamente dita, mas tambm num conjunto de informao adicional acerca da mesma, como o algoritmo de assinatura, o certificado de validao ou a hora e local de produo. Num cenrio heterogneo como o descrito anteriormente, torna-se necessria uma forma flexvel e interopervel de descrever esse tipo de informao. A linguagem XML uma forma adequada de representar uma assinatura neste contexto, no s pela sua natureza estruturada, mas principalmente por ser baseada em texto e ter suporte generalizado. A recomendao XML Signature Syntax and Processing (ou apenas XML Signature) foi o primeiro passo na representao de assinaturas em XML. Nela so definidas sintaxe e regras de processamento para criar, representar e validar assinaturas digitais. As assinaturas XML podem ser aplicadas a qualquer tipo de contedos digitais identificveis por um URI, tanto no mesmo documento XML que a assinatura, como noutra qualquer localizao. Alm disso, a mesma assinatura XML pode englobar vrios recursos, mesmo de tipos diferentes (texto livre, imagens, XML, etc.). medida que as assinaturas electrnicas foram ganhando relevncia tornou-se evidente que a especificao XML Signature no era suficiente, nomeadamente por no dar garantias de validade a longo prazo nem de no repudiao. Esta situao foi agravada pelo facto da especificao no cumprir os requisitos da directiva 1999/93/EC da Unio Europeia, onde estabelecido um quadro legal para as assinaturas electrnicas a nvel comunitrio. No seguimento desta directiva da Unio Europeia foi desenvolvida a especificao XML Advanced Electronic Signatures que define formatos XML e regras de processamento para assinaturas electrnicas no repudiveis e com validade verificvel durante perodos de tempo extensos, em conformidade com a directiva. Esta especificao estende a recomendao XML Signature, definindo novos elementos que contm informao adicional acerca da assinatura e dos recursos assinados (propriedades qualificadoras). A plataforma Java inclui, desde a verso 1.6, uma API de alto nvel para servios de assinaturas digitais em XML, de acordo com a recomendao XML Signature. Contudo, no existe suporte para assinaturas avanadas. Com este projecto pretende-se desenvolver uma biblioteca Java para a criao e validao de assinaturas XAdES, preenchendo assim a lacuna existente na plataforma. A biblioteca desenvolvida disponibiliza uma interface com alto nvel de abstraco, no tendo o programador que lidar directamente com a estrutura XML da assinatura nem com os detalhes do contedo das propriedades qualificadoras. So definidos tipos que representam os principais conceitos da assinatura, nomeadamente as propriedades qualificadoras e os recursos assinados, sendo os aspectos estruturais resolvidos internamente. Neste trabalho, a informao que compe uma assinatura XAdES dividia em dois grupos: o primeiro formado por caractersticas do signatrio e da assinatura, tais como a chave e as propriedades qualificadoras da assinatura. O segundo grupo composto pelos recursos assinados e as correspondentes propriedades qualificadoras. Quando um signatrio produz vrias assinaturas em determinado contexto, o primeiro grupo de caractersticas ser semelhante entre elas. Definiu-se o conjunto invariante de caractersticas da assinatura e do signatrio como perfil de assinatura. O conceito estendido verificao de assinaturas englobando, neste caso, a informao a usar nesse processo, como por exemplo os certificados raiz em que o verificador confia. Numa outra perspectiva, um perfil constitui uma configurao do servio de assinatura correspondente. O desenho e implementao da biblioteca esto tambm baseados no conceito de fornecedor de servios. Um fornecedor de servios uma entidade que disponibiliza determinada informao ou servio necessrios produo e verificao de assinaturas, nomeadamente: seleco de chave/certificado de assinatura, validao de certificados, interaco com servidores de time-stamp e gerao de XML. Em vez de depender directamente da informao em causa, um perfil e, consequentemente, a operao correspondente configurado com fornecedores de servios que so invocados quando necessrio. Para cada tipo de fornecedor de servios definida um interface, podendo as correspondentes implementaes ser configuradas de forma independente. A biblioteca inclui implementaes de todos os fornecedores de servios, sendo algumas delas usadas for omisso na produo e verificao de assinaturas. Uma vez que o foco do projecto a especificao XAdES, o processamento e estrutura relativos ao formato bsico so delegados internamente na biblioteca Apache XML Security, que disponibiliza uma implementao da recomendao XML Signature. Para validar o funcionamento da biblioteca, nomeadamente em termos de interoperabilidade, procede-se, entre outros, verificao de um conjunto de assinaturas produzidas por Estados Membros da Unio Europeia, bem como por outra implementao da especificao XAdES.
Resumo:
Object-oriented programming languages presently are the dominant paradigm of application development (e. g., Java,. NET). Lately, increasingly more Java applications have long (or very long) execution times and manipulate large amounts of data/information, gaining relevance in fields related with e-Science (with Grid and Cloud computing). Significant examples include Chemistry, Computational Biology and Bio-informatics, with many available Java-based APIs (e. g., Neobio). Often, when the execution of such an application is terminated abruptly because of a failure (regardless of the cause being a hardware of software fault, lack of available resources, etc.), all of its work already performed is simply lost, and when the application is later re-initiated, it has to restart all its work from scratch, wasting resources and time, while also being prone to another failure and may delay its completion with no deadline guarantees. Our proposed solution to address these issues is through incorporating mechanisms for checkpointing and migration in a JVM. These make applications more robust and flexible by being able to move to other nodes, without any intervention from the programmer. This article provides a solution to Java applications with long execution times, by extending a JVM (Jikes research virtual machine) with such mechanisms. Copyright (C) 2011 John Wiley & Sons, Ltd.
Resumo:
O desenvolvimento actual de aplicaes paralelas com processamento intensivo (HPC - High Performance Computing) para alojamento em computadores organizados em Cluster baseia-se muito no modelo de passagem de mensagens, do qual de realar os esforos de definio de standards, por exemplo, MPI - Message - Passing Interface. Por outro lado, com a generalizao do paradigma de programao orientado aos objectos para ambientes distribudos (Java RMI, .NET Remoting), existe a possibilidade de considerar que a execuo de uma aplicao, de processamento paralelo e intensivo, pode ser decomposta em vrios fluxos de execuo paralela, em que cada fluxo constitudo por uma ou mais tarefas executadas no contexto de objectos distribudos. Normalmente, em ambientes baseados em objectos distribudos, a especificao, controlo e sincronizao dos vrios fluxos de execuo paralela, realizada de forma explicita e codificada num programa principal (hard-coded), dificultando possveis e necessrias modificaes posteriores. No entanto, existem, neste contexto, trabalhos que propem uma abordagem de decomposio, seguindo o paradigma de workflow com interaces entre as tarefas por, entre outras, data-flow, control-flow, finite - state - machine. Este trabalho consistiu em propor e explorar um modelo de execuo, sincronizao e controlo de mltiplas tarefas, que permita de forma flexvel desenhar aplicaes de processamento intensivo, tirando partido da execuo paralela de tarefas em diferentes mquinas. O modelo proposto e consequente implementao, num prottipo experimental, permite: especificar aplicaes usando fluxos de execuo; submeter fluxos para execuo e controlar e monitorizar a execuo desses fluxos. As tarefas envolvidas nos fluxos de execuo podem executar-se num conjunto de recursos distribudos. As principais caractersticas a realar no modelo proposto, so a expansibilidade e o desacoplamento entre as diferentes componentes envolvidas na execuo dos fluxos de execuo. So ainda descritos casos de teste que permitiram validar o modelo e o prottipo implementado. Tendo conscincia da necessidade de continuar no futuro esta linha de investigao, este trabalho um contributo para demonstrar que o paradigma de workflow adequado para expressar e executar, de forma paralela e distribuda, aplicaes complexas de processamento intensivo.
Resumo:
A rpida evoluo dos dispositivos mveis e das tecnologias de comunicao sem fios transformou o telemvel num poderoso dispositivo de computao mvel. A necessidade de estar sempre contactvel, comum civilizao moderna, tem aumentado a dependncia deste dispositivo, sendo transportado pela maioria das pessoas num ambiente urbano e assumindo um papel talvez mais importante que a prpria carteira. A ubiquidade e capacidade de computao dos telemveis aumentam o interesse no desenvolvimento de servios mveis, alm de tradicionais servios de voz. Um telemvel pode em breve tornar-se um elemento activo nas nossas tarefas dirias, servindo como um instrumento de pagamento e controlo de acessos, proporcionando assim novas interfaces para servios existentes. A unificao de vrios servios num nico dispositivo um desafio que pode simplificar a nossa rotina diria e aumentar o conforto, no limite deixaremos de necessitar de dinheiro fsico, cartes de crdito ou dbito, chaves de residncia e de veculos automveis, ou inclusive documentos de identificao como bilhetes de identidade ou passaportes. O interesse demonstrado pelos intervenientes, desde os fabricantes de telemveis e operadores de rede mvel at s instituies financeiras, levaram ao aparecimento de mltiplas solues de servios mveis. Porm estas solues respondem geralmente a problemas especficos, apenas contemplando um fornecedor de servios ou uma determinada operao de pagamento, como seja a compra de bilhetes ou pagamento de estacionamento. Estas solues emergentes consistem tambm tipicamente em especificaes fechadas e protocolos proprietrios. A definio de uma arquitectura genrica, aberta interopervel e extensvel necessria para que os servios mveis possam ser adoptados de uma forma generalizada por diferentes fornecedores de servios e para diversos tipos de pagamento. A maior parte das solues actuais de pagamento mvel depende de comunicaes atravs da rede mvel, algumas utilizam o telemvel apenas como uma interface de acesso internet enquanto outras possibilitam o envio de um SMS (Short Message Service) para autorizar uma transaco, o que implica custos de comunicao em todas as operaes de pagamento. Este custo de operao torna essas solues inadequadas para a realizao de micropagamentos e podem por isso ter uma aceitao limitada por parte dos clientes. As solues existentes focam-se maioritariamente em pagamentos distncia, no tirando partido das caractersticas do pagamento presencial e no oferecendo por isso uma verdadeira alternativa ao modelo actual de pagamento com cartes de crdito/dbito. As capacidades computacionais dos telemveis e suporte de diversos protocolos de comunicao sem fio local no tm sido aproveitadas, vendo o telemvel apenas como um terminal GSM (Global System for Mobile Communications) e no oferecendo servios adicionais como seja a avaliao dinmica de risco ou controlo de despesas. Esta dissertao prope e valida, atravs de um demonstrador, uma aquitectua aberta para o pagamento e controlo de acesso baseado em dispositivos mveis, intitulada WPAC (Wireless Payment and Access Control). Para chegar soluo apresentada foram estudadas outras solues de pagamento, desde o aparecimento dos cartes de dbito at a era de pagamentos electrnicos mveis, passando pelas solues de pagamento atravs da internet. As capacidades dos dispositivos mveis, designadamente os telemveis, e tecnologias de comunicao sem fios foram tambm analisadas a fim de determinar o estado tecnolgico actual. A arquitectura WPAC utiliza padres de desenho utilizados pela indstria em solues de sucesso, a utilizao de padres testados e a reutilizao de solues com provas dadas permite aumentar a confiana nesta soluo, um destes exemplos a utilizao de uma infra-estrutura de chave pblica para o estabelecimento de um canal de comunicao seguro. Esta especificao uma arquitectura orientada aos servios que utiliza os Web Services para a definio do contracto do servio de pagamento. A viabilidade da soluo na orquestrao de um conjunto de tecnologias e a prova de conceito de novas abordagens alcanada com a construo de um prottipo e a realizao de testes. A arquitectura WPAC possibilita a realizao de pagamentos mveis presenciais, isto , junto do fornecedor de bens ou servios, seguindo o modelo de pagamento com cartes de crdito/dbito no que diz respeito aos intervenientes e relaes entre eles. Esta especificao inclui como aspecto inovador a avaliao dinmica de risco, que utiliza o valor do pagamento, a existncia de pagamentos frequentes num perodo curto de tempo, e a data, hora e local do pagamento como factores de risco; solicitando ao cliente o conjunto de credenciais adequado ao risco avaliado, desde cdigos pessoais a dados biomtricos. tambm apresentada uma alternativa ao processo normal de pagamento, que apesar de menos cmoda permite efectuar pagamentos quando no possvel estabelecer um canal de comunicao sem fios, aumentando assim a tolerncia a falhas. Esta soluo no implica custos de operao para o cliente na comunicao com o ponto de venda do comerciante, que realizada atravs de tecnologias de comunicao local sem fios, pode ser necessria a comunicao atravs da rede mvel com o emissor do agente de pagamento para a actualizao do agente de software ou de dados de segurana, mas essas transmisses so ocasionais. O modelo de segurana recorre a certificados para autenticao dos intervenientes e a uma infra-estrutura de chave pblica para cifra e assinatura de mensagens. Os dados de segurana includos no agente de software mvel, para desabilitar a cpia ou corrupo da aplicao mas tambm para a comparao com as credenciais inseridas pelo cliente, devem igualmente ser encriptados e assinados de forma a garantir a sua confidencialidade e integridade. A arquitectura de pagamento utiliza o standard de Web Services, que amplamente conhecido, aberto e interopervel, para definio do servio de pagamento. Existem extenses especificao de Web Services relativas segurana que permitem trocar itens de segurana e definem o modo de cifra e assinatura de mensagens, possibilitando assim a sua utilizao em aplicaes que necessitem de segurana como o caso de servios de pagamento e controlo de acesso. O contracto de um Web Service define o modo de invocao dos servios, transmisso de informao e representao de dados, sendo normalmente utilizado o protocolo SOAP que na prtica no mais que um protocolo de troca de mansagens XML (eXtensible Markup Language). O envio e recepo de mensagens XML; ou seja, a transmisso de simples sequncias de caracteres, suportado pela maioria dos protocolos de comunicao, sendo portanto uma soluo abrangente que permite a adopo de diversas tecnologias de comunicao sem fios. O prottipo inclui um agente de software mvel, implementado sobre a forma de uma MIDlet, aplicao Java para dispositivos mveis, que implementa o protocolo de pagamento comunicando sobre uma ligao Bluetooth com o ponto de venda do comerciante, simulado por uma aplicao desenvolvida sobre a plataforma .NET e que por isso faz prova da heterogeneidade da soluo. A comunicao entre o comerciante e o seu banco para autorizao do pagamento e transferncia monetria utiliza o protocolo existente para a autorizao de pagamentos, com base em cartes de crdito/dbito. A definio desta especificao aberta e genrica em conjunto com o forte interesse demonstrado pelos intervenientes, proporciona uma boa perspectiva em termos de adopo da soluo, o que pode impulsionar a implementao de servios mveis e dessa forma simplificar as rotinas dirias das pessoas. Solues mveis de pagamento reduzem a necessidade de transportar vrios cartes de crdito/dbito na nossa carteira. A avaliao dinmica de risco permite aumentar a segurana dos pagamentos, com a solicitao de mais credenciais ao cliente para pagamentos com um maior risco associado, sendo um ponto importante quer para os clientes quer para as instituies financeiras pois diminui o risco de fraude e aumenta a confiana no sistema. Esta soluo de pagamento electrnico pode tambm facilitar a consulta de pagamentos efectuados e saldos, mantendo um histrico dos movimentos, o que no possvel nos cartes de crdito/dbito sem uma visita a uma ATM (Automated Teller Machine) ou utilizao de homebanking.
Resumo:
Background: With the decrease of DNA sequencing costs, sequence-based typing methods are rapidly becoming the gold standard for epidemiological surveillance. These methods provide reproducible and comparable results needed for a global scale bacterial population analysis, while retaining their usefulness for local epidemiological surveys. Online databases that collect the generated allelic profiles and associated epidemiological data are available but this wealth of data remains underused and are frequently poorly annotated since no user-friendly tool exists to analyze and explore it. Results: PHYLOViZ is platform independent Java software that allows the integrated analysis of sequence-based typing methods, including SNP data generated from whole genome sequence approaches, and associated epidemiological data. goeBURST and its Minimum Spanning Tree expansion are used for visualizing the possible evolutionary relationships between isolates. The results can be displayed as an annotated graph overlaying the query results of any other epidemiological data available. Conclusions: PHYLOViZ is a user-friendly software that allows the combined analysis of multiple data sources for microbial epidemiological and population studies. It is freely available at http://www.phyloviz.net.
Resumo:
Com o surgimento de novos sistemas de telecomunicaes sem fios, que necessitam de maiores potncias de emisso e largura de banda disponvel, surgem os regulamentos que controlam as emisses rdio. S assim estas tecnologias podem coexistir em bandas prximas, com o mximo desempenho e com a garantia que os nveis de poluio electromagntica no so ultrapassados. Cada vez mais, regulamentos que limitam a potncia da transmisso tm em vista questes de sade pblica e por isso devem ser estritamente respeitados. Para se poder controlar as emisses rdio necessrio um dispositivo que consiga analisar o espectro rdio. Um dos instrumentos fundamentais na metrologia de radiofrequncia o analisador de espectros, que tem como principal funo apresentar a potncia de pores do espectro em funo da frequncia. Existem vrios tipos de analisadores espectrais, que se baseiam em arquitecturas de recepo distintas. O tipo de analisador define a sua complexidade e o tipo de anlises que consegue fazer. Com esta dissertao pretende-se mostrar a implementao de um analisador de espectro porttil, de baixo custo, baseado num receptor heterdino e com uma frequncia de operao compreendida entre os 2 e os 3 GHz. Este projecto abrange diversas reas, desde o hardware de recepo rdio, passando pelo microcontrolador que faz a aquisio de dados e comunicao com o computador, acabando na aplicao que foi desenvolvida em Java para permitir ao utilizador uma interface de utilizao simples e funcional. Foi tambm desenvolvida com sucesso uma antena impressa adequada banda de frequncia referida. Embora tenham existidos problemas simples, um na localizao do filtro passa-banda e o outro na resposta do filtro intermdio, os objectivos foram alcanados obtendo-se um analisador de espectro porttil, funcional e de baixo custo, conforme pretendido. O analisador tem um erro mximo na deteco de potncia de 2,5 dB e o tempo de varrimento mximo cerca de 16 segundos com 500 pontos de resoluo. Foram realizadas vrias medies e uma comparao com um analisador de espectros comercial, para demonstrar o funcionamento e desempenho do analisador desenvolvido, tendo os resultados sido bastante promissores. A funcionalidade deste analisador medir a potncia do sinal ao longo do tempo uma mais-valia face ao analisador comercial utilizado para a comparao.
Resumo:
Analisando as tendncias actuais de mercado, observa-se a necessidade da capacidade de integrao de sistemas recorrendo utilizao de servios web. Actualmente o C++ ainda uma das mais populares linguagens de programao, facto justificado pelo abundante porteflio de aplicaes, desde alto-nvel a sistemas embebidos, com inmeras bibliotecas que tiram partido dos diversos paradigmas de programao que a linguagem suporta. Porm, e ao contrrio de outras linguagens, como C# ou Java que oferecem suporte criao de servios web integrado com a plataforma, existe uma lacuna no suporte ao desenvolvimento de servios web em C++. Para dar resposta lacuna existente criada a plataforma ANSWER, focada em C++, com nfase num modelo de programao simples, permitindo o rpido desenvolvimento de servios web RPC/SOAP e REST.
Resumo:
Dissertao para obteno do grau de Mestre em Engenharia Civil na rea de Especializao de Vias de Comunicao e Transportes
Resumo:
Workflows have been successfully applied to express the decomposition of complex scientific applications. This has motivated many initiatives that have been developing scientific workflow tools. However the existing tools still lack adequate support to important aspects namely, decoupling the enactment engine from workflow tasks specification, decentralizing the control of workflow activities, and allowing their tasks to run autonomous in distributed infrastructures, for instance on Clouds. Furthermore many workflow tools only support the execution of Direct Acyclic Graphs (DAG) without the concept of iterations, where activities are executed millions of iterations during long periods of time and supporting dynamic workflow reconfigurations after certain iteration. We present the AWARD (Autonomic Workflow Activities Reconfigurable and Dynamic) model of computation, based on the Process Networks model, where the workflow activities (AWA) are autonomic processes with independent control that can run in parallel on distributed infrastructures, e. g. on Clouds. Each AWA executes a Task developed as a Java class that implements a generic interface allowing end-users to code their applications without concerns for low-level details. The data-driven coordination of AWA interactions is based on a shared tuple space that also enables support to dynamic workflow reconfiguration and monitoring of the execution of workflows. We describe how AWARD supports dynamic reconfiguration and discuss typical workflow reconfiguration scenarios. For evaluation we describe experimental results of AWARD workflow executions in several application scenarios, mapped to a small dedicated cluster and the Amazon (Elastic Computing EC2) Cloud.
Resumo:
In this paper a new simulation environment for a virtual laboratory to educational proposes is presented. The Logisim platform was adopted as the base digital simulation tool, since it has a modular implementation in Java. All the hardware devices used in the laboratory course was designed as components accessible by the simulation tool, and integrated as a library. Moreover, this new library allows the user to access an external interface. This work was motivated by the needed to achieve better learning times on co-design projects, based on hardware and software implementations, and to reduce the laboratory time, decreasing the operational costs of engineer teaching. Furthermore, the use of virtual laboratories in educational environments allows the students to perform functional tests, before they went to a real laboratory. Moreover, these functional tests allow to speed-up the learning when a problem based approach methodology is considered. 2014 IEEE.
Resumo:
Workflows have been successfully applied to express the decomposition of complex scientific applications. However the existing tools still lack adequate support to important aspects namely, decoupling the enactment engine from tasks specification, decentralizing the control of workflow activities allowing their tasks to run in distributed infrastructures, and supporting dynamic workflow reconfigurations. We present the AWARD (Autonomic Workflow Activities Reconfigurable and Dynamic) model of computation, based on Process Networks, where the workflow activities (AWA) are autonomic processes with independent control that can run in parallel on distributed infrastructures. Each AWA executes a task developed as a Java class with a generic interface allowing end-users to code their applications without low-level details. The data-driven coordination of AWA interactions is based on a shared tuple space that also enables dynamic workflow reconfiguration. For evaluation we describe experimental results of AWARD workflow executions in several application scenarios, mapped to the Amazon (Elastic Computing EC2) Cloud.
Resumo:
Trabalho Final de Mestrado para obteno do grau de Mestre em Engenharia de Redes de Comunicao e Multimdia
Resumo:
Dissertao para obteno do grau de Mestre em Engenharia Electrotcnica Ramo de Energia
Resumo:
Dissertao para obteno do grau de Mestre em Engenharia Civil na rea de Especializao de Vias de Comunicao e Transportes
