OntoRama: Browsing RDF ontologies using a hyperbolic-style browser

This paper presents a Java-based hyperbolic-style browser designed to render RDF files as structured ontological maps. The program was motivated by the need to browse the content of a web-accessible ontology server: WEB KB-2. The ontology server contains descriptions of over 74,500 object types derived from the WordNet 1.7 lexical database and can be accessed using RDF syntax. Such a structure creates complications for hyperbolic-style displays. In WEB KB-2 there are 140 stable ontology link types and a hyperbolic display needs to filter and iconify the view so different link relations can be distinguished in multi-link views. Our browsing tool, OntoRama, is therefore motivated by two possibly interfering aims: the first to display up to 10 times the number of nodes in a hyperbolic-style view than using a conventional graphics display; secondly, to render the ontology with multiple links comprehensible in that view.

Modelling Java concurrency with Object-Z

In this paper, we present a formal model of Java concurrency using the Object-Z specification language. This model captures the Java thread synchronization concepts of locking, blocking, waiting and notification. In the model, we take a viewpoints approach, first capturing the role of the objects and threads, and then taking a system view where we capture the way the objects and threads cooperate and communicate. As a simple illustration of how the model can, in general be applied, we use Object-Z inheritance to integrate the model with the classical producer-consumer system to create a specification directly incorporating the Java concurrency constructs.

A classification of concurrency failures in java components

The Java programming language supports concurrency. Concurrent programs are hard to test due to their inherent non-determinism. This paper presents a classification of concurrency failures that is based on a model of Java concurrency. The model and failure classification is used to justify coverage of synchronization primitives of concurrent components. This is achieved by constructing concurrency flow graphs for each method call. A producer-consumer monitor is used to demonstrate how the approach can be used to measure coverage of concurrency primitives and thereby assist in determining test sequences for deterministic execution.

An Autonomic Framework for Mobile Cloud Computing

This thesis presents the formal definition of a novel Mobile Cloud Computing (MCC) extension of the Networked Autonomic Machine (NAM) framework, a general-purpose conceptual tool which describes large-scale distributed autonomic systems. The introduction of autonomic policies in the MCC paradigm has proved to be an effective technique to increase the robustness and flexibility of MCC systems. In particular, autonomic policies based on continuous resource and connectivity monitoring help automate context-aware decisions for computation offloading. We have also provided NAM with a formalization in terms of a transformational operational semantics in order to fill the gap between its existing Java implementation NAM4J and its conceptual definition. Moreover, we have extended NAM4J by adding several components with the purpose of managing large scale autonomic distributed environments. In particular, the middleware allows for the implementation of peer-to-peer (P2P) networks of NAM nodes. Moreover, NAM mobility actions have been implemented to enable the migration of code, execution state and data. Within NAM4J, we have designed and developed a component, denoted as context bus, which is particularly useful in collaborative applications in that, if replicated on each peer, it instantiates a virtual shared channel allowing nodes to notify and get notified about context events. Regarding the autonomic policies management, we have provided NAM4J with a rule engine, whose purpose is to allow a system to autonomously determine when offloading is convenient. We have also provided NAM4J with trust and reputation management mechanisms to make the middleware suitable for applications in which such aspects are of great interest. To this purpose, we have designed and implemented a distributed framework, denoted as DARTSense, where no central server is required, as reputation values are stored and updated by participants in a subjective fashion. We have also investigated the literature regarding MCC systems. The analysis pointed out that all MCC models focus on mobile devices, and consider the Cloud as a system with unlimited resources. To contribute in filling this gap, we defined a modeling and simulation framework for the design and analysis of MCC systems, encompassing both their sides. We have also implemented a modular and reusable simulator of the model. We have applied the NAM principles to two different application scenarios. First, we have defined a hybrid P2P/cloud approach where components and protocols are autonomically configured according to specific target goals, such as cost-effectiveness, reliability and availability. Merging P2P and cloud paradigms brings together the advantages of both: high availability, provided by the Cloud presence, and low cost, by exploiting inexpensive peers resources. As an example, we have shown how the proposed approach can be used to design NAM-based collaborative storage systems based on an autonomic policy to decide how to distribute data chunks among peers and Cloud, according to cost minimization and data availability goals. As a second application, we have defined an autonomic architecture for decentralized urban participatory sensing (UPS) which bridges sensor networks and mobile systems to improve effectiveness and efficiency. The developed application allows users to retrieve and publish different types of sensed information by using the features provided by NAM4J's context bus. Trust and reputation is managed through the application of DARTSense mechanisms. Also, the application includes an autonomic policy that detects areas characterized by few contributors, and tries to recruit new providers by migrating code necessary to sensing, through NAM mobility actions.

FACES E INTERFACES DAS MÚLTIPLAS TELAS: a comunicação nas plataformas audiovisuais digitais

A sociedade é digital e vivencia as benesses, desafios e paradigmas dessa era. As mudanças estão aceleradas e o tempo de adaptação a elas mais curto a cada dia. As relações comunicativas do homem com as máquinas estão se alterando de maneira profunda, com destaque para a multiplicação de telas audiovisuais que permeiam a vida das pessoas, as quais hoje são assessoradas por meio de inúmeros Assistentes Digitais Pessoais (PDAs) e outros displays ubíquos que convergem de forma radical entre si. A profusão tecnológica e apropriação sensorial dos instrumentos contemporâneos são exemplos tangíveis disso. Com tal cenário em primeiro plano, nossa pesquisa propõe contextualizar, descrever e analisar as novas faces e interfaces da comunicação que se materializam nas atuais plataformas audiovisuais digitais, cada vez mais móveis, conectadas e velozes. Dessa forma, empreende-se uma pesquisa exploratória que se valerá prioritariamente de levantamento bibliográfico específico e análise de dados estatísticos. A pesquisa indicou que as múltiplas telas, de fato, estão modificando a dinâmica dos processos comunicativos, os quais precisam ser recompreendidos.

Memory for emotional faces in major depression following judgement of physical facial characteristics at encoding

The aim of the present study was to establish if patients with major depression (MD) exhibit a memory bias for sad faces, relative to happy and neutral, when the affective element of the faces is not explicitly processed at encoding. To this end, 16 psychiatric out-patients with MD and 18 healthy, never-depressed controls (HC) were presented with a series of emotional faces and were required to identify the gender of the individuals featured in the photographs. Participants were subsequently given a recognition memory test for these faces. At encoding, patients with MD exhibited a non-significant tendency towards slower gender identification (GI) times, relative to HC, for happy faces. However, the GI times of the two groups did not differ for sad or neutral faces. At memory testing, patients with MD did not exhibit the expected memory bias for sad faces. Similarly, HC did not demonstrate enhanced memory for happy faces. Overall, patients with MD were impaired in their memory for the faces relative to the HC. The current findings are consistent with the proposal that mood-congruent memory biases are contingent upon explicit processing of the emotional element of the to-be-remembered material at encoding.