7 resultados para Java (Indonésie) -- Descriptions et voyages
em Repositório Científico do Instituto Politécnico de Lisboa - Portugal
Resumo:
O projecto “Principais tendências no cinema português contemporâneo” nasceu no Departamento de Cinema da ESTC, com o objectivo de desenvolver investigação especializada a partir de um núcleo formado por alunos da Licenciatura em Cinema e do Mestrado em Desenvolvimento de Projecto Cinematográfico, a que se juntaram professores-investigadores membros do CIAC e convidados. O que agora se divulga corresponde a dois anos e meio de trabalho desenvolvido pela equipa de investigação, entre Abril de 2009 e Novembro de 2011. Dada a forma que ele foi adquirindo, preferimos renomeá-lo, para efeitos de divulgação, “Novas & velhas tendências no cinema português contemporâneo”.
Resumo:
As comunicações electrónicas são cada vez mais o meio de eleição para negócios entre entidades e para as relações entre os cidadãos e o Estado (e-government). Esta diversidade de transacções envolve, muitas vezes, informação sensível e com possível valor legal. Neste contexto, as assinaturas electrónicas são uma importante base de confiança, fornecendo garantias de integridade e autenticação entre os intervenientes. A produção de uma assinatura digital resulta não só no valor da assinatura propriamente dita, mas também num conjunto de informação adicional acerca da mesma, como o algoritmo de assinatura, o certificado de validação ou a hora e local de produção. Num cenário heterogéneo como o descrito anteriormente, torna-se necessária uma forma flexível e interoperável de descrever esse tipo de informação. A linguagem XML é uma forma adequada de representar uma assinatura neste contexto, não só pela sua natureza estruturada, mas principalmente por ser baseada em texto e ter suporte generalizado. A recomendação XML Signature Syntax and Processing (ou apenas XML Signature) foi o primeiro passo na representação de assinaturas em XML. Nela são definidas sintaxe e regras de processamento para criar, representar e validar assinaturas digitais. As assinaturas XML podem ser aplicadas a qualquer tipo de conteúdos digitais identificáveis por um URI, tanto no mesmo documento XML que a assinatura, como noutra qualquer localização. Além disso, a mesma assinatura XML pode englobar vários recursos, mesmo de tipos diferentes (texto livre, imagens, XML, etc.). À medida que as assinaturas electrónicas foram ganhando relevância tornou-se evidente que a especificação XML Signature não era suficiente, nomeadamente por não dar garantias de validade a longo prazo nem de não repudiação. Esta situação foi agravada pelo facto da especificação não cumprir os requisitos da directiva 1999/93/EC da União Europeia, onde é estabelecido um quadro legal para as assinaturas electrónicas a nível comunitário. No seguimento desta directiva da União Europeia foi desenvolvida a especificação XML Advanced Electronic Signatures que define formatos XML e regras de processamento para assinaturas electrónicas não repudiáveis e com validade verificável durante períodos de tempo extensos, em conformidade com a directiva. Esta especificação estende a recomendação XML Signature, definindo novos elementos que contêm informação adicional acerca da assinatura e dos recursos assinados (propriedades qualificadoras). A plataforma Java inclui, desde a versão 1.6, uma API de alto nível para serviços de assinaturas digitais em XML, de acordo com a recomendação XML Signature. Contudo, não existe suporte para assinaturas avançadas. Com este projecto pretende-se desenvolver uma biblioteca Java para a criação e validação de assinaturas XAdES, preenchendo assim a lacuna existente na plataforma. A biblioteca desenvolvida disponibiliza uma interface com alto nível de abstracção, não tendo o programador que lidar directamente com a estrutura XML da assinatura nem com os detalhes do conteúdo das propriedades qualificadoras. São 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 informação que compõe uma assinatura XAdES é dividia em dois grupos: o primeiro é formado por características do signatário 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 signatário produz várias assinaturas em determinado contexto, o primeiro grupo de características será semelhante entre elas. Definiu-se o conjunto invariante de características da assinatura e do signatário como perfil de assinatura. O conceito é estendido à verificação de assinaturas englobando, neste caso, a informação a usar nesse processo, como por exemplo os certificados raiz em que o verificador confia. Numa outra perspectiva, um perfil constitui uma configuração do serviço de assinatura correspondente. O desenho e implementação da biblioteca estão também baseados no conceito de fornecedor de serviços. Um fornecedor de serviços é uma entidade que disponibiliza determinada informação ou serviço necessários à produção e verificação de assinaturas, nomeadamente: selecção de chave/certificado de assinatura, validação de certificados, interacção com servidores de time-stamp e geração de XML. Em vez de depender directamente da informação em causa, um perfil — e, consequentemente, a operação correspondente — é configurado com fornecedores de serviços que são invocados quando necessário. Para cada tipo de fornecedor de serviços é definida um interface, podendo as correspondentes implementações ser configuradas de forma independente. A biblioteca inclui implementações de todos os fornecedores de serviços, sendo algumas delas usadas for omissão na produção e verificação de assinaturas. Uma vez que o foco do projecto é a especificação XAdES, o processamento e estrutura relativos ao formato básico são delegados internamente na biblioteca Apache XML Security, que disponibiliza uma implementação da recomendação XML Signature. Para validar o funcionamento da biblioteca, nomeadamente em termos de interoperabilidade, procede-se, entre outros, à verificação de um conjunto de assinaturas produzidas por Estados Membros da União Europeia, bem como por outra implementação da especificação 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:
Nous présentons, dans cette communication, les resultats d'une étude menée dans le cours d'expression orale et écrite dispensé en premier année à l'Escola Superior de Educação de Lisbonne.
Resumo:
Les temps du passé ont toujours constitué une pierre d’achoppement aussi bien dans l’enseignement du français aux étudiants lusophones que dans celui du portugais aux francophones. Le flot continu d’articles sur ce sujet attesterait, à lui seul, la difficulté du problème. Mais aussi étonnant que cela puisse paraître, il n’existe à ce jour aucune étude systématique qui aborde sur une base théorique le présent simple dans le passage du français vers le portugais et/ou vice-versa. Or, une telle étude nous paraît une voie de recherche intéressante et fructueuse qui ouvre de nombreuses perspectives de recherche, dont les possibilités d’application, que ce soit au domaine de l’enseignement des langues étrangères ou celui de la traduction, ne sont pas négligeables. Cette réflexion est d’autant plus urgente que l’emploi du présent simple pose de sérieux problèmes aux élèves lusophones plus inexpérimentés. En effet, ces derniers ont parfois beaucoup de peine à trouver les bonnes correspondances du présent simple en portugais. Afin d’aboutir à des conclusions fiables sur les similarités et les divergences entre le français et le portugais quant aux conditions d’apparition et au mode de fonctionnement du présent simple, nous nous attacherons, dans l’étude contrastive qui suit, à examiner des échantillons de textes littéraires français traduits en portugais et des extraits de textes littéraires portugais traduits en français1. Il s’agira essentiellement de montrer, en recourant à la Théorie des Opérations Énonciatives d’Antoine Culioli (Culioli, 1990; Campos & Xavier, 1991; Campos, 1997, 1998, entre autres), par quels moyens linguistiques le portugais exprime les valeurs aspectuo-temporelles associées au présent simple en français.
Resumo:
Esta investigação pretende contribuir para o desenvolvimento da investigação interessada nas questões relativas ao ensino/ aprendizagem do modo escrito nos primeiros anos do primeiro ciclo do ensino básico, particularmente tendo em conta as práticas mais propensas a apoiar a aprendizagem bem-sucedida da leitura e de escrita. Especificamente, esta investigação tem como objetivo descrever as práticas de ensino observadas nas áreas da leitura e da escrita com 22 professores, mas também para relacionar essas práticas observadas com o desempenho em leitura e escrita dos seus alunos do primeiro e do segundo ano. Globalmente, os resultados indicam que as práticas observadas, tanto do ponto de vista dos Dispositivos mobilizados como do conteúdo ensinado, são variadas e contribuem para uma visão complexa da entrada na escrita. As análises de correlação sugerem que determinadas práticas, que geralmente procuram a participação activa das crianças e as interações com os outros, estão relacionados com o progresso dos alunos durante o ano letivo.
Resumo:
A investigação tem posto em evidência a correlação entre desenvolvimento linguístico e aprendizagem da leitura e da escrita. Procuramos, em primeiro lugar, explicar, do ponto de vista da linguística, as relações entre oral e escrita focalizando a linguagem da criança desde as primeiras produções à produção autónoma de variantes sintacticamente diversificadas. De seguida, abordamos a questão da passagem do oral à escrita dando especial atenção ao impacto sobre o funcionamento cognitivo do trabalho de ditado ao adulto. Finalmente, propomos pistas de reflexão sobre modalidades de interacção necessárias à entrada no modo escrito e ao seu percurso de aprendizagem dando conta de resultados de investigação acção e formação com a abordagem «Coup de pouce Langage».