Browsing by Issue Date, starting with "2001-12"
Now showing 1 - 10 of 11
Results Per Page
Sort Options
- Um serviço de replicação transparente de servidores CORBA utilizando sincronia virtualPublication . Monteiro, M. João; Teixeira, Sandra; Miranda, Hugo; Rodrigues, LuísThis paper describes a transparent active replication service for CORBA servers. This service works with any CORBA client/server without requiring any code recompilation. This implementation uses a group comunication service available on the Appia communication support platform
- Factores internos como condicionantes da assistência externa: aspectos qualitativos e quantitativos da APD do caso angolano (1976-1998)Publication . Zumba, João; Ferreira, Manuel EnnesFactores internos como condicionantes da Assistência Externa: aspectos qualitativos e quantitativos do caso Angolano A Assistência Externa é um dos principais factores no apoio ao desenvolvimento económico e social nos países em vias de desenvolvimento. Dadas as características de Angola, ela é certamente um importante factor. Contudo, dadas as condicionantes económicas, politicas e militares no período de 1976-1998., é de esperar que essa Assistência Externa tenha sido fortemente afectada por esses factores. Assim, o objectivo desta dissertação é procurar correlacionar os aspectos qualitativos e quantitativos da Assistência Externa com a evolução daqueles factores internos.
- Uma abordagem alternativa para Bonus MalusPublication . Guerreiro, Gracinda Rita Diogo; Mexia, JoãoNesta dissertação pretende-se apresentar um novo Sistema de Bonus Malus baseado na teoria dos Vórtices Estocásticos. Esta teoria permite que se construa o sistema assumindo que são admitidas entradas e saídas de segurados da carteira da Seguradora. Para efeitos comparativos, consideraram-se também o modelo clássico e o modelo aberto de Centeno & Andrade e Silva [2001]. Descreveram-se os fundamentos dos três modelos e aplicaram-se aos dados de uma Seguradora Portuguesa. Com os resultados obtidos, determinaram-se algumas escalas óptimas de prémios (Norberg [1979], Borgan, Hoem & Norberg [1981], Gilde V Sundt [1989] e Andrade e Silva [1991]), assim como se sujeitaram os modelos às medidas de avaliação propostas por Lemaire [1995]. Os resultados do novo modelo e do modelo aberto de Centeno 8 Andrade e Silva [2001] coincidiram em alto grau, afastando-se dos do modelo clássico.
- OBK: an Online Bookkeeper for High Energy Physics experimentsPublication . Ribeiro, Carlos André dos Santos Nunes; Barbosa, Ant onio Joaquim Rosa Amorim; Silva, Mário Jorge Costa Gaspar daAs experiências modernas em física de altas energias têm-se tornado cada vez mais exigentes no que diz respeito aos sistemas de gestão de bases de dados de suporte. A experiência ATLAS, no Laboratório Europeu de Física de Partículas (CERN), irá adquirir os resultados da experiência a uma taxa de 100 MByte por segundo, resultado da redução de um factor de 4x105 na taxa de eventos de 40 MHz pelo sistema de trigger, acumulando 1 PetaByte por ano. A tendência actual na comunidade da física de altas energias para a aquisição destes dados aponta para o uso de sistemas de gestão de bases de dados orientados por objectos (OODBMS). A disponibilidade desta tecnologia nas experiências, proporciona o recurso a OODBMS em várias aplicações de bases de dados. Esta dissertação caracteriza as aplicações de bases de dados em física de altas energias, e questiona o uso de um sistema de gestão de base de dados orientada por objectos no componente Online Bookkeeper do sistema de aquisição de dados da experiêcia ATLAS. Este estudo analisa comparativamente duas implementações do Online Bookkeeper, componente do sistema de aquisição da experiência que armazena informação diversa acerca das condições em que se realiza a aquisição dos dados, uma suportada pelo sistema de gestão de base de dados orientado por objectos da Objectivity, outra construída sobre o sistema de gestão de base de dados relacional MySQL.
- A hybrid approach to Intrusion DetectionPublication . Neves, Nuno Miguel Navarro Teixeira da Cruz; Veríssimo, Paulo Jorge Esteves
- Protocolo Híbrido de Ordem Total Uniforme com entrega OptimistaPublication . Vicente, Pedro; Miranda, Hugo; Rodrigues, LuísBroadcast algorithms with total uniform order simplify the development of applications that use replication as a fault-tolerance technique. This paper presents and compares three alternatives to implement an optimistic delivery service in total order uniform broadcast protocols for large-scale systems.
- Coerência num sistema transaccional de replicação de objectos em grande-escalaPublication . Martins, João; Almeida, Ricardo; Miranda, Hugo; Rodrigues, LuísObject oriented database systems have become an adequate solution to various problems. In this paper two consistency protocols for large-scale replicated object oriented databases are presented.
- The Design of a COTS Real-Time Distributed Security Kernel (Extended Version)Publication . Correia, Miguel; Veríssimo, Paulo; Neves, Nuno FerreiraThis technical report describes the design of a security kernel called TTCB, which has innovative features. Firstly, it is a distributed subsystem with its own secure network. Secondly, the TTCB is real-time, that is, a synchronous subsystem capable of timely behavior. These two characteristics together are uncommon in security kernels. Thirdly, the TTCB can be implemented using only COTS components. We discuss essentially three things in this paper: (1) The TTCB is a simple component providing a small set of basic secure services. It aims at building a new style of protocols to achieve intrusion tolerance, which for the most part execute in insecure, arbitrary failure environments, and resort to the TTCB only in crucial parts of their operation. (2) Besides, the TTCB is a synchronous device supplying functions that may be an enabler of a new generation of timed secure protocols, until now known to be fragile due to attacks on timing assumptions. (3) Finally, we present a design methodology that establishes our hybrid failure assumptions in a well-founded manner. It helps us to achieve a robust design, despite using exclusively COTS components, with the advantage of allowing the security kernel to be easily deployed on widely used platforms
- TyCO + Linear channelsPublication . Martins, Francisco; Vasconcelos, Vasco T.We present an extension to the TyCO type system that is able to identify linear channels. We prove some technical results (e.g. type preservation w.r.t. reduction) and present an algorithm for inferring channels usage from process expressions. Our major contribution is the inference of linear information in a calculus with recursive equations rather than replication
- Learning with Video in HypermediaPublication . Chambel, Teresa; Guimarães, NunoThe potential for education of the motion picture was early recognized by many, but technological and use constraints have limited, or perhaps just postponed, the fulfilment of this vision. Significant technological advances and the new tendencies for media convergence and integration are transforming video into a dominant medium, suggesting new ways to support learning activities. The purpose of this paper is to contribute to the understanding of the effective use of video in education, in particular by discussing the role of hypervideo in learning environments. Our approach is based on human cognition concepts, the way media relates to learning, and hypervideo characteristics. These concepts and ideas are being developed and experimented in the context of the Unibase project on interactive and multimedia distance learning