Actas/ Proceedings

As actas do INFORUM 2009 serão publicadas em papel, num volume com ISBN publicado pela Faculdade de Ciências da Universidade de Lisboa. As mesmas serão tambem disponibilizadas em linha como relatório técnico do Departamento de Informática da FCUL e no sítio do INFORUM.

The INFORUM 2009 proceedings will be publish by the Faculdade de Ciências da Universidade de Lisboa in a volume with ISBN. The proceedings will also be made available online, as a Technical Report of the Departamento de Informática da FCUL and on the INFORUM web site.

 Relatório técnico DI-FCUL TR-09-13

Volume das actas em pdf

Mensagem do Presidente da Comissão Coordenadora

Mensagem da Comissão de Programa

INForum 2009 Organização

INForum 2009 Oradores Convidados

Compiladores, Linguagens de Programação e Tecnologias Relacionadas (CORTA)

• Filipe Militao and Luis Caires. An Exception Aware Behavioral Type System for Object-Oriented Programs   

• Hugo Rito and João Cachopo. ATOM: Automatic Transaction-Oriented Memoization

• (SHORT) Ian Mackie, Jorge Sousa Pinto and Miguel Vilaça. Iterators, Recursors and Interaction Nets

• Ivo Anjo and João Cachopo. JaSPEx: Speculative Parallel Execution of Java Applications

• Nuno Oliveira, Maria João Varanda Pereira, Pedro Henriques, Daniela da Cruz and Bastian Cramer. VisualLISA: A Domain Specific Visual Language for Attribute Grammars

• Nuno Oliveira, Maria Pereira, Pedro Henriques and Daniela Cruz. Domain-Specific Languages: A Theoretical Survey

• Marjan Mernik, Tomaz Kosar, Matej Crepinsek, Pedro Rangel Henriques, Daniela da Cruz, Maria Joao Varanda Pereira and Nuno Oliveira. Comparison of XAML and C# Forms using Cognitive Dimension Framework

• (SHORT) Salvador Abreu, Vitor Nogueira and Daniel Diaz. On Structuring Contextual Logic Programming

Computação Distribuída e de Larga Escala

• Ana Nunes, José Orlando Pereira and José Marques. SEEDS: The Social Internet Feeds Caching and Dissemination Architecture

• (SHORT) Bruno Costa, Miguel Matos and António Sousa. Capi: Cloud Computing API

• (SHORT) Carlos Torrão, Nuno Carvalho and Luís Rodrigues. FT-OSGi: Extensões à Plataforma OSGi para Tolerância a Faltas

• Cristina Fonseca, Liliana Rosa and Luís Rodrigues. Custo da Comutação Dinâmica de Protocolos de Comunicação

• Maria Couceiro, Paolo Romano, Nuno Carvalho and Luis Rodrigues. D2STM: Memória Transaccional em Software Distribuída e Confiável

• Miguel Matos, António Sousa, José Pereira and Rui Oliveira. A Distributed Bootstrapping Protocol for Overlay Networks

• Paulo Jesus, Carlos Baquero and Paulo Sérgio Almeida. Dependability in Aggregation by Averaging

• Simão Mata, José Legatheaux Martins, Sérgio Duarte and Margarida Mamede. Análise do custo e da viabilidade de um sistema P2P com visibilidade completa

Computação Móvel e Ubíqua

• Bruno Felix and Nuno Preguiça. PIPE: Uma infra-estrutura genérica de serviços para ambientes de computação ubíqua

• David Navalho and Nuno Preguiça. Unified Cooperative Location System

• Filipe Lourenço and Carlos Almeida. RFID based Monitoring and Access Control System

• Hugo Seixas, Nuno Salgado and Rui José. Wiinteraction: A study on smart spaces interaction using a wiimote

• João Matos and Hugo Miranda. Algoritmos de Difusão para Protocolos de Encaminhamento em Redes Ad Hoc sem Fios

• João Soares and Nuno Preguiça. FEW Phone File System

• Tiago Reis, Carlos Duarte, Luis Carriço and Romeu Carvalho. Towards a Context Aware Multimodal Hand-Held Device

Processamento de Dados, Informação e Linguagem

• Ana Teixeira, Rui Santos and Francisco Couto. ThermInfo: Collecting and presenting thermochemical properties

• Ivo Anastácio, Bruno Martins and Pável Calado. A Comparison of Different Approaches for Assigning Geographic Scopes to Documents

• Luis F. Lopes, João M. Zamite, Bruno C. Tavares, Francisco M. Couto, Fabrício Silva and Mário J. Silva. Automated Social Network Epidemic Data Collector

• Stoyan Garbatov, João Cachopo and João Pereira. Data Access Pattern Analysis based on Bayesian Updating

Segurança de Sistemas e Redes de Computadores

• Diogo Mónica, João Leitão, Luis Rodrigues and Carlos Ribeiro. Construção Observável de um Sistema de Quorum de Nós Não-Sybil na Vizinhança Rádio de uma Rede Ad Hoc Sem Fios

• João Antunes and Nuno Neves. Building an Automata towards Reverse Protocol Engineering

• Pedro Amaral and Henrique Domigos. Uma arquitectura para um serviço de encaminhamento seguro em redes de sensores sem fios

• Rogério Correia and Paulo Sousa. Efficient State Transfer for Recovery-Based Byzantine-Fault-Tolerant State Machine Replication

Sistemas Embebidos e de Tempo-Real

• Helder Silva, José Sousa, Daniel Freitas, Sérgio Faustino, Alexandre Constantino and Manuel Coutinho. RTEMS Improvement - Space Qualification of RTEMS Executive

• João Craveiro, José Rufino, Tobias Schoofs and James Windsor. Flexible Operating System Integration in Partitioned Aerospace Systems

• Joel Silva Carvalho and Simão Melo de Sousa. Verificação de Modelos em Programas HTL

• Luis Nogueira and Luis Miguel Pinho. A Fast Convergence Coordination Protocol for Cooperative Open Real-Time Environments

XML: Aplicações e Tecnologias Associadas (XATA)

• (SHORT) Daniela da Cruz, Flavio Xavier Ferreira, Pedro Rangel Henriques, Alda Lopes Gancarski and Bruno Defude. GuessXQ, an inference Web-engine for querying XML documents   

• Hugo Manguinhas. Schema Languages for XML

• João Silva, Cristina Ribeiro and João Correia Lopes. Sharing botanical information using geospatial databases

• José Paulo Leal and Ricardo Queirós. Extending the Learning Object definition to represent Programming Problems

• José Paulo Leal and Ricardo Queirós. schem@Doc: a web-based XML Schema visualizer

• Nuno Oliveira, Pedro Rangel Henriques, Daniela da Cruz and Maria João Varanda Pereira. XAGra - An XML dialect for Attribute Grammars

• Ricardo André Pereira Freitas and José Carlos Ramalho. Relational Databases Digital Preservation

• (SHORT) Wagner Franchin, Alexandre Carvalho, José Moreira, Antonio Augusto de Sousa and Cristina Ribeiro. An importer of virtual 3D City Models datasets into a spatiotemporal database   

Sessão Conjunta

• André M. P. Grilo, Ana C. R. Paiva and João Pascoal Faria. Reverse Engineering of GUI Models

• André Rosa, Vasco Amaral and Bruno Barroca. Use of MS DSL Tools in the development process of a Domain-Specific Language

• (SHORT) Gonçalo Simões, Helena Galhardas and Luísa Coheur. Information Extraction sub-tasks: a survey

• (SHORT) Tiago Pedrosa, Carlos Costa, Rui Pedro Lopes and José Luís Oliveira. Virtual Health Card System

• Vitor Santos and Luís Amaral. Comunidades Virtuais ao Serviço do Ensino