RSS .92| RSS 2.0| ATOM 0.3
  • Home
  • #6 (no title)
  •  

    INForum 2009

    March 28th, 2009

    INForum 2009Computer and Communications Security Track, Sep 10-11, 2009.

    Summary (in portuguese):

    O INForum tem como objectivo ser um evento privilegiado de reunião da comunidade nacional nas diversas vertentes da informática e ambiciona ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos. O INForum surge com particular oportunidade como palco para a estreia de jovens investigadores que buscam a divulgação, a crítica construtiva e o encorajamento ao seu trabalho.

    O 1º INForum pretende ser abrangente e dinâmico no conjunto de tópicos abordados. Apresentará um conjunto de tópicos propostos e seleccionados anualmente, com sessões organizadas e realizadas de forma independente. Promove-se assim a massa crítica para o fortalecimento e evolução da informática no país criando-se, simultaneamente, espaço à evolução do contexto da conferência e fomentando a reunião de investigadores em áreas emergentes.

    O 1º INForum decorrerá nos dias 10 e 11 de Setembro de 2009 na Faculdade de Ciências da Universidade de Lisboa.


    DSN 2009 Fast Abstracts

    February 28th, 2009

    DSN 2009: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 29 – July 2, 2009.

    Summary:

    DSN is the chosen forum for researchers around the world, for presenting the very best research results, solutions to problems, and insight into emergent new challenges. DSN has pioneered the fusion between security and dependability, understanding the need to simultaneously fight against cyber attacks, accidental faults, design errors, and unexpected operating conditions.


    CORTEX: CO-operating Real-time senTient objects: architecture and EXperimental evaluation (2001-2004)

    March 31st, 2004

    From 2001 until 2004, I participated in the CORTEX european project. My research work was primarily focused on building the support for dependable adaptive real-time applications.

    In this context, I implemented the Timely Computing Base (TCB) on the Windows CE 3.0 operating system. This implementation was the basis for a CORTEX proof-of-concept prototype and for the development of one of the CORTEX final demonstrations.


    Concretização de um cenário de carros cooperantes num ambiente móvel sem fios

    September 30th, 2003

    Concretização de um cenário de carros cooperantes num ambiente móvel sem fios [paper in portuguese]
    Paulo Sousa, Pedro Martins, António Casimiro, Paulo Veríssimo
    In Actas da Sexta Conferência sobre Redes de Computadores (CRC’03), Bragança, Portugal, Set 2003.


    Analysis and Design of Application Scenarios

    July 20th, 2003

    Analysis and Design of Application Scenarios [paper]
    G. Blair, K. Cheverst, H. Duran-Limon, A. Friday, G. Samartzidis, T. Sivaharan, Paulo Sousa, M. Wu
    Technical Report DI/FCUL TR-03-21, Department of Computer Science, University of Lisbon. July 2003.


    Proof-of-concept prototypes

    July 14th, 2003

    Proof-of-concept prototypes [paper]
    V. Cahill, António Casimiro, J. Kaiser, Pedro Martins, V. Reynolds, Paulo Sousa, Paulo Veríssimo, M. Wu
    Technical Report DI/FCUL TR-03-20, Department of Computer Science, University of Lisbon. July 2003.


    Towards a Cooperating Autonomous Car

    October 2nd, 2002

    Towards a Cooperating Autonomous Car [paper]
    Paulo Sousa, Paulo Veríssimo
    In Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy, Oct 2002.