Resumos das Comunicações
Segunda-Feira, 9 de Janeiro | Anfiteatro B012
08:30 - Sessão de Abertura, presidida pelo Prof. José Ferreira Gomes (Vice-Reitor da U.Porto)
09:00 - Apresentação do Projecto GridUP, Dra. Lígia Ribeiro (IRICUP)
A Universidade do Porto (UP), através do seu Instituto de Recursos e Iniciativas Comuns (IRICUP) lançou em 2005 o projecto GridUP com os objectivos de: (1) oferecer melhores condições à comunidade académica e de I&D da Universidade em termos de meios de computação de elevado desempenho, satisfazendo assim um conjunto de necessidades já identificadas em diversas Unidades de Investigação; (2) criar um "campus grid" que possa vir a ser integrado numa infra-estrutura pan-europeia de computação "grid" para "e-Science"; e (3) incentivar a investigação no domínio da computação em grelha na UP. Projectos semelhantes de infra-estruturas de computação em grelha existem em vários países e têm vindo a ser fortemente apoiados pelos Programas Quadro da Comunidade Europeia, prevendo-se que este apoio seja ainda maior no Programa Quadro que se avizinha. Com efeito, é reconhecida a importância que a computação em grelha poderá desempenhar em particular nos domínios da Ciência e da Engenharia. O projecto GridUP é a primeira iniciativa nesta área, ao nível de um campus universitário nacional.
10:00 - Applying Data Mining Techniques to Football Data from European Championships, Sérgio Nunes e Marco Sousa
Data Mining is the process of finding new, potentially useful and non trivial knowledge from data. Football is a popular game worldwide and a rich source of data. Gathering only part of this data we are able to collect hundreds of cases. In this paper we describe an exploratory work where we use Data Association Rules, Classification and Visualization techniques to find patterns in datasets from several European championships. For each one of these techniques, different hypotheses were stated. For Association Rules and Visualization, our hypothesis was that we would be able to find non trivial knowledge and confirm several known patterns. For Classification, our hypothesis was that we would be able to classify matches according to their results based on the available history. Our findings didn't confirm our hypotheses to their full extent as expected. Our exploratory work confirmed several well known patterns in football and highlighted borderline cases. Among the several techniques used, visualization produced the best results.
10:00 - A expansão de conjuntos de co-hipónimos a partir de colecções de grandes dimensões de texto em Português, Luís Sarmento
Neste artigo iremos apresentar dois métodos para a expansão de conjuntos de co-hipónimos usando exclusivamente informação extraída a partir de uma colecção de texto em português de grandes dimensões. Os métodos baseiam-se na hipótese de que é possível explorar com sucesso a enorme redundância de informação existente em tais colecções recorrendo a algoritmos relativamente simples. Estes métodos operam de uma forma análoga ao conhecido sistema Google Sets, e num dos casos são alcançados tempos de execução muito reduzidos. Iremos enquandrar os dois métodos desenvolvidos numa estratégia mais ampla de construção de recursos léxico-semânticos para a língua portuguêsa e iremos posicioná-los relativamente a trabalhos realizados para outras línguas. Serão apresentados detalhadamente os algoritmos desenvolvidos, e para cada um deles serão apresentados e discutidos os resultados experimentais, comparando as suas limitações e vantagens Abordaremos em seguida algumas questões relativas à avaliação deste género de métodos e destacaremos a necessidade de desenvolver recursos para esse efeito. Serão em seguida discutidas algumas limitações que derivam da indeterminação associada co-hiponímia e alguns dos problemas intrínsecos às abordagens que apresentamos. Terminaremos apresentando possibilidades de trabalho futuro.
11:30 - Electronic Institution: an E-contracting Platform for Virtual Organizations, Henrique Lopes Cardoso
Automated tools that assist contract drafting are mostly focused on the representation of contract documents. Multi-agent systems have been applied in the e-business domain, namely for information discovery and contract negotiation. Work on contract monitoring and enforcement is less explored. In this paper we start from these two observations to expose our efforts towards the development of tools that enable the computational representation of contracts and furthermore their monitoring and enforcement. We are mostly interested in Virtual Organization settings, where groups of agents representing different business entities form consortiums that must be regulated by appropriate norms. We are pursuing the concept of an Electronic Institution as a platform providing a normative environment and a set of e-contracting related services. Within this environment, contracts are represented through norms.
11:30 - Dissecting the Business Process Modelling fields: a concept maps approach, Célia Martins
The multi-disciplinary nature of business process modelling with its different perspectives/views (business, organization, software and systems development,...) raised several objects/fields of study such as web services, languages, standards, business rules and architectures among others. In our approach we consider an environment (breeding environment) where a set of enterprises exist and maintain a set of social relationships, mainly trust relationships, that can be mobilised to join resources and collaborate to compete for a business opportunity. The definition of business processes, from a business point of view, implies a close articulation with the software systems components available to support parts of those processes. In this field of research there are many similar terms used in different contexts with different meanings, many different approaches whose intervention objects must be clearly identified as well as many descriptive and execution languages whose scope and goals must be well understood. The clarification of the business process modelling field is beneficial both for the business architects and for information systems architects. An approach based on the conceptualization domain, more specifically on the concept maps approach, is an effective way to achieve such a clarification. This work resulted in a conceptual map of the business process modelling field that enabled a critical analysis and the clarification of the relationships between business originitated concepts and software systems ones.
11:30 - Resolução de Conflitos na Marcação Automática de Reuniões, António Nabais
A marcação automática de reuniões tem sido largamente estudada nos últimos 20 anos. Os trabalhos recentes nesta área trataram o problema como um sistema distribuído, sem controlo fixo centralizado, adequado à utilização de um Sistema Multi-Agente (SMA). Os agentes actuam de forma autónoma, comunicando e negociando com outros agentes, tendo em atenção as preferências e disponibilidades dos utilizadores. Neste artigo é apresentada a formulação do problema de Marcação Automática Distribuída de Reuniões, e uma perspectiva sobre alguns dos trabalhos anteriores neste tema, para justificar a abordagem SMA. São identificadas várias técnicas de negociação e resolução de conflitos, com vista à resolução deste problema. O artigo analisa ainda algumas das implementações práticas existentes, de forma a determinar os pontos fortes e fracos de cada abordagem e produzir uma arquitectura para uma implementação prática futura. Pretende-se que as restrições em relação ao número máximo de agentes envolvidos sejam relaxadas, e que a eficácia computacional e qualidade da solução sejam as melhores possíveis. Da análise efectuada resulta um conjunto de conclusões relativas ao modelo de comunicação, negociação, heurísticas e função de avaliação (individual e colectiva), que melhor se adaptam a este problema.
14:30 - um doutoramento... um caminho..., Prof. Ademar Aguiar (FEUP)
Uma análise retrospectiva de um recém-doutorado sobre o caminho que percorreu ao longo do seu trabalho, desde o seu início até à sua conclusão: as (in)decisões, os obstáculos, os apoios, as etapas, o prazer de chegar ao fim.
15:30 - Proposta para um Web Feature Service Temporal, Artur Rocha e Alexandre Carvalho
Este artigo descreve uma aproximação à inclusão de suporte para lógica espaço-temporal em Web Feature Services (WFS). Este tipo de Web Services permite a interrogação de fontes heterogéneas de informação geográfica, num ambiente distribuído, retornando o resultado em formato Geography Markup Language (GML). No entanto, não é possível obter, a partir destes WFS, múltiplos estados para cada entidade (feature) geográfica, que resultariam da combinação de filtros espaciais e literais com predicados temporais. O uso destes predicados permite restringir o conjunto de estados contemplados no cálculo da resposta, ou mesmo apresentar um resultado espacial coalescido sobre uma dimensão temporal. Uma vez que a GML 3.1.1 já caracteriza os tempos válidos da informação geográfica, é viável a estruturação temporal das respostas devolvidas pelos WFS, sendo no entanto necessário enriquecer a sintaxe dos seus pedidos com a capacidade de utilizar predicados e operadores temporais. Este artigo propõe alterações à norma WFS, mais concretamente ao nível da linguagem de filtragem que utiliza, e apresenta uma solução efectiva para o suporte espaço-temporal nos SGBD subjacentes.
15:30 - The Case for Aspect Oriented Programming, André Restivo
Aspect Oriented Programming (AOP) deals with what are called cross-cutting concerns. AOP practitioners believe that single abstraction frameworks (like OOP) are not suficiently powerful to separate cross-cutting concerns. They also state that the tangling of concerns is one of the major contributors to the complexity of large software applications. This paper will show some typical examples of concerns that are dificult to separate from the main core of the application. It will also exemplify how AOP can be used to describe each one of those concerns in a separate and natural form. Finally an overview of where AOP research is heading towards will be described.
15:30 - Métodos para a reconstrução de objectos fragmentados, António Marques
A reconstruçãao de objectos fragmentados é uma necessidade em âmbitos diversos. Áreas como as da arqueologia, investigaçãao criminal e medicina legal, entre outras, têm abordado a resolução do problema com o auxílio de sistemas computacionais. Contudo, as soluções apresentadas revelam-se tipicamente orientadas à resoluçãao de problemas especifícos. Assim, a diversidade de métodos desenvolvidos parece contrastar com a dificuldade de determinação de um produto abrangente e capaz de gerar soluções de modo eficaz. No presente procurar-se-á atingir objectivos a três níveis. Numa primeira fase, tentar-se-á recolher trabalhos representativos de esforços para a resolução do problema. Numa segunda fase, serão seleccionados os que se considerem mais relevantes para análise. Após análise comparativa dos trabalhos seleccionados, tentar-se-á utilizar o conhecimento recolhido para a proposta de um método que permita abordar o problema de forma genérica e eficaz.
17:30 - Ensuring Cooperation with Routing Protocols in Mobile Ad-hoc Networks, João Vilela e João Barros
We consider the security of routing protocols for Mobile Adhoc Networks (MANETs).We present a classification of routing protocols for MANETs, followed by a brief description of the four base routing protocols as identified by the IETF’s Mobile Ad-hoc Networks working group. Afterwards, focusing on the Optimized Link State Routing (OLSR) protocol, we provide a taxonomy of attacks and vulnerabilities and present some of the current schemes to tackle them. Based on that knowledge, we propose a new security scheme that rewards nodes that comply with the routing protocol specifications.
17:30 - Networking Solutions for Sensor Networks, Pedro Brandão e João Barros
Sensor networks are currently the focus of active research in a considerable number of fields. Because of their many applications, ranging from forest surveillance to anti-terrorist protection, from medical monitoring to crops inspection, from traffic sensing to environment control, sensors are gaining a big momentum in our every day life. The deployment of these technologies encompasses some problems related to communications, application development, lifetime of the network, and security. In this article, we present a set of current proposals that address some of the most relevant technical issues.
17:30 - Building a distributed system for dynamic information search, organization and classification for educational purposes, Joaquim Silva e Francisco Restivo
Our focus is on a Web-based Knowledge Portal for educational purposes. We consider a distributed system for information retrieval and document collection, which will enable different forms of knowledge construction. Also accessing information from multiple information systems and integrating them into a knowledge portal are key issues in developing our system. Some tools are considered to be used namely ontologies, concept maps and software agents to deal with semantic issues. Previous related initiatives are described and tools for dealing with semantics are also present. A comprehensive section on syntactic and semantic interoperability is described in detail. A very high-level architecture is drafted along with ideas to deal with its implementation.