On the specification of a component repository

The lack of a commonly accepted de nition of a software component, the proliferation of competing `standards' and component frameworks, is here to stay, raising the fundamental question in component-based development of how to cope in practice with heterogeneity. This paper reports on the design of a Component Repository aimed to give at least a partial answer to the above question. The repository was fully speci ed in Vdm and a working prototype is currently being used in an industrial environment

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Rootstocks resistant to Meloidogyne incognita and compatibility of grafting in net melon

Due to the few studies about grafting in net melon, in order to obtain better control of soil pathogens, the aim of the present study was to evaluate 16 genotypes of Cucurbitaceae: Benincasa hispida, Luffa cylindrica, pumpkin 'Jacarezinho', pumpkin 'Menina Brasileira', squash 'Exposição', squash 'Coroa', pumpkin 'Canhão Seca', pumpkin 'Squash', pumpkin 'Enrrugado Verde', pumpkin 'Mini Paulista', pumpkin 'Goianinha', watermelon 'Charleston Gray', melon 'Rendondo Gaucho', melon 'Redondo Amarelo', cucumber 'Caipira HS' and cucumber 'Caipira Rubi', regarding to compatibility of grafting in net melon and resistance to Meloidogyne incognita, based on the reproduction factor (RF), according to Oostenbrink (1966). To assess resistance, the seedlings were transplanted to ceramic pots and inoculated with 300/mL eggs and/or second stage juveniles of M. incognita. At 50 days after transplanting, the plants were removed from the pots and the resistance was evaluated. The compatibility between resistant rootstock and grafts of net melon was determined by performing simple cleft grafting, in a commercial net melon hybrid of great market acceptance and susceptible to M. incognita (Bonus no. 2). The genotypes Luffa cylindrica, pumpkin 'Goianinha', pumpkin 'Mini-Paulista', melon 'Redondo Amarelo', watermelon 'Charleston Gray' are resistant to the nematode M. incognita. The better compatibilities occurred with the rootstocks melon 'Amarelo', which presented 100% of success, followed by pumpkin 'Mini-Paulista' with 94%. On the other hand, Sponge gourd, watermelon 'Charleston Gray' and pumpkin 'Goianinha' showed low graft take percentages of 66%, 62% and 50%, respectively.

Performance management framework: the fit between PM framework adopted in Portuguese local government and the Otley’s framework

Purpose/objectives: This paper seeks to investigate whether performance management (PM) framework adopted in Portuguese local government (PLG) fit the Otley’s PM framework (1999). In particularly, the research questions are (1) whether PM framework adopted in PLG (SIADAP) fit the Otley´s framework, and (2) how local politicians (aldermen) see the operation of performance management systems (PMS) in PLG (focusing on the goal-setting process and incentive and reward structures). Theoretical positioning/contributions: With this paper we intend to contribute to literature on how the Otley’s PM framework can guide empirical research about the operation of PMS. In particular, the paper contributes to understand the fit between PMS implemented in PLG and the Otley´s PM framework. The analysis of this fit can be a good contribution to understand if PMS are used in PLG as a management tool or as a strategic response to external pressures (based on interviews conducted to aldermen). We believe that the Otley’s PM framework, as well as the extended PM framework presented by Ferreira and Otley (2009), can provide a useful research tool to understand the operation of PMS in PLG. Research method: The first research question is the central issue in this paper and is analyzed based on the main reforms introduced by Portuguese government on PM of public organizations (like municipalities). On the other hand, interviews conducted on three larger Portuguese municipalities (Oporto, Braga, and Matosinhos) show how aldermen see the operation of PMS in PLG, highlighting the goals setting process with targets associated and the existing of incentive and reward structures linked with performance. Findings: Generally we find that formal and regulated PM frameworks in PLG fit the main issues of the Otley’s PM framework. However, regarding the aldermen perceptions about PMS in practice we find a gap between theory and practice, especially regarding difficulties associated with the lack of a culture of goals and targets setting and the lack of incentive and reward structures linked with performance.

Computer-aided recognition of dental implants in X-ray images

Dental implant recognition in patients without available records is a time-consuming and not straightforward task. The traditional method is a complete user-dependent process, where the expert compares a 2D X-ray image of the dental implant with a generic database. Due to the high number of implants available and the similarity between them, automatic/semi-automatic frameworks to aide implant model detection are essential. In this study, a novel computer-aided framework for dental implant recognition is suggested. The proposed method relies on image processing concepts, namely: (i) a segmentation strategy for semi-automatic implant delineation; and (ii) a machine learning approach for implant model recognition. Although the segmentation technique is the main focus of the current study, preliminary details of the machine learning approach are also reported. Two different scenarios are used to validate the framework: (1) comparison of the semi-automatic contours against implant’s manual contours of 125 X-ray images; and (2) classification of 11 known implants using a large reference database of 601 implants. Regarding experiment 1, 0.97±0.01, 2.24±0.85 pixels and 11.12±6 pixels of dice metric, mean absolute distance and Hausdorff distance were obtained, respectively. In experiment 2, 91% of the implants were successfully recognized while reducing the reference database to 5% of its original size. Overall, the segmentation technique achieved accurate implant contours. Although the preliminary classification results prove the concept of the current work, more features and an extended database should be used in a future work.

Filicídio e matricídio : quando a relação entre mãe e filho se torna fatal

RESUMO: A morte de um filho às mãos da sua mãe ou de uma mãe às mãos do seu filho, é uma realidade rara que provoca uma reacção colectiva de choque e repulsa. Por seu turno, a comunidade cientifica procura explicações, classificações e formas de prever e evitar novas tragédias. No presente estudo foram objecto de análise cinco casos de filicídio e seis casos de matricídio, tendo-se procedido à avaliação de características de personalidade e enquadramento social e familiar, através da realização de uma entrevista e a aplicação de dois testes de personalidade, um teste de inteligência geral e um teste de impulsividade. Com excepção de 4 casos de matricidas, os restantes sujeitos não apresentaram problemas mentais graves nem marcada perturbação anti-social de personalidade, sendo os factores determinantes mais comuns de natureza social e familiar, que, associados às respectivas características de personalidade e nível de inteligência, conduziram os sujeitos ao acto, levando a concluir pela necessidade do reforço das políticas sociais e de saúde mental, bem como, da necessidade de um maior conhecimento do sujeito que pratica o crime por parte de quem tem a responsabilidade de o julgar e de quem tem o encargo de o reabilitar. ABSTRACT: The death of a child at the hands of its mother or of a mother at the hands of her child is a rare reality that causes a collective reaction of shock and disgust. In turn, the scientific community seeks explanations, classifications and ways of predicting and preventing further tragedies. The current study examined five cases of filicide and six cases of matricide, and personality characteristics and social and family frameworks were assessed, through the application of an interview, two personality tests, a general intelligence test and an impulsivity test. With the exception of 4 cases of matricide, the remaining subjects did not show any serious mental problems or severe anti-social personality disturbance, the most common factors being of social and family nature. These factors, combined with their personality characteristics and intelligence level, led the subjects to the act, thus showing the need to strengthen social and mental health policies, as well as the need for a greater knowledge on the subject who commits the offence, from the part of those who are responsible for judging him and of those who are in charge of rehabilitating him.

Incorporation of niobium in SAPO-11 materials: Synthesis and characterization

The present work concerns a new synthesis approach to prepare niobium based SAPO materials with AEL structure and the characterization ofNb species incorporated within the inorganic matrixes. The SAPO-11 materials were synthesized with or without the help of a small amine, methylamine (MA) as co-template, while Nb was added directly during the preparation of the initial gel. Structural, textural and acidic properties of the different supports were evaluated by XRD, TPR, UV-Vis spectroscopy, pyridine adsorption followed by IR spectroscopy and thermal analyses. Pure and well crystalline Nb based SAPO-11 materials were obtained, either with or without MA, using in the initial gel a low Si content of about 0.6. Increasing the Si content of the gel up to 0.9 led to an important decrease of the samples crystallinity. Niobium was found to incorporate the AEL pores support as small Nb2O5 oxide particles and also as extra framework cationic species (Nb5+), compensating the negative charges from the matrix and generating new Lewis acid sites. (C) 2011 Elsevier Inc. All rights reserved.

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Corporate brand identity – a conceptual redefinition

There is a wide agreement that identity is a multidisciplinary concept. Branding is an identity expression. Although there are some frameworks to assess brand identity there isn’t an accepted definition. The authors consider this a gap in literature and investigate the components to assess brand identity under a holistic approach. Literature was reviewed and reinterpreted under an integrated perspective evolving corporate and brand identity studies. The authors propose a definition and nine componentscharacterizing corporate brand identity: reputation, culture, positioning, personality, relationships network, presentation style, communication, environmental influences and mission. Some are related with internal and others to external facets. The authorsare strongly encouraged to test these results empirically towards validity and reliability of the proposed construct.

Synthesis, structure and electrochemical behaviour of Na, Mg-II, Mn-II, Cd-II and Ni-II complexes of 3-(2-carboxyphenylhydrazone)pentane-2,4-dione

Mononuclear manganese(II) [Mn(kappa O-HL)(2)(CH3OH)(4)] (4), nickel(II) [Ni(kappa O-2, kappa N-L)(H2O)(3)] (5), cadmium(II) [Cd(kappa O-2-HL)(2)(CH3OH)(3)] (7), tetranuclear zinc(II) [Zn-4(mu-OH)(2)(1 kappa O:2 kappa O-HL)(4)(kappa O-HL)(2)(H2O)(4)] (6) and polynuclear aqua sodium(I) [Na(H2O)(2)(mu-H2O)(2)](n)(HL)(n) (2) and magnesium(II) [Mg(OH)(H2O)(mu-H2O)(2)](n)(-HL)(n) (3) complexes were synthesized using 3-(2-carboxyphenyl-hydrazone)pentane-2,4-dione (H2L, 1) as a ligand precursor. The complexes were characterized by single crystal X-ray diffraction, elemental analysis, IR, H-1 and C-13 NMR (for 2, 3, 6 and 7) spectroscopies. Mono- or dianionic deprotonated derivatives of H2L display different coordination modes and lead to topologies and nuclearities of the complexes depending on metal ions and conditions used for the syntheses. Extensive intermolecular H-bonds form supramolecular arrangements in 1D chains (4 and 6), 1D chains of the organic anion and 2D networks of the metal-aqua aggregates (2 and 3), 2D networks (7) or even 3D frameworks (5). Electrochemical studies, by cyclic voltammetry and controlled potential electrolysis, show ligand centred redox processes as corroborated by theoretical DFT calculations in terms of LUMO and HOMO compositions. (C) 2012 Elsevier Ltd. All rights reserved.

Synthesis of meeting and recommendations from the Net-Biome round table discussion on "motivated" science on biodiversity management and use in support of overseas sutainable development

Net-Biome Final Meeting (Paris, 15 & 16 February, 2012).

Cooperative framework for open real-time systems

Actualmente, os sistemas embebidos estão presentes em toda a parte. Embora grande parte da população que os utiliza não tenha a noção da sua presença, na realidade, se repentinamente estes sistemas deixassem de existir, a sociedade iria sentir a sua falta. A sua utilização massiva deve-se ao facto de estarem practicamente incorporados em quase os todos dispositivos electrónicos de consumo, telecomunicações, automação industrial e automóvel. Influenciada por este crescimento, a comunidade científica foi confrontada com novos problemas distribuídos por vários domínios científicos, dos quais são destacados a gestão da qualidade de serviço e gestão de recursos - domínio encarregue de resolver problemas relacionados com a alocação óptima de recursos físicos, tais como rede, memória e CPU. Existe na literatura um vasto conjunto de modelos que propõem soluções para vários problemas apresentados no contexto destes domínios científicos. No entanto, não é possível encontrar modelos que lidem com a gestão de recursos em ambientes de execução cooperativos e abertos com restrições temporais utilizando coligações entre diferentes nós, de forma a satisfazer os requisitos não funcionais das aplicações. Devido ao facto de estes sistemas serem dinâmicos por natureza, apresentam a característica de não ser possível conhecer, a priori, a quantidade de recursos necessários que uma aplicação irá requerer do sistema no qual irá ser executada. Este conhecimento só é adquirido aquando da execução da aplicação. De modo a garantir uma gestão eficiente dos recursos disponíveis, em sistemas que apresentam um grande dinamismo na execução de tarefas com e sem restrições temporais, é necessário garantir dois aspectos fundamentais. O primeiro está relacionado com a obtenção de garantias na execução de tarefas de tempo-real. Estas devem sempre ser executadas dentro da janela temporal requirida. O segundo aspecto refere a necessidade de garantir que todos os recursos necessários à execução das tarefas são fornecidos, com o objectivo de manter os níveis de performance quer das aplicações, quer do próprio sistema. Tendo em conta os dois aspectos acima mencionados, o projecto CooperatES foi especificado com o objectivo de permitir a dispositivos com poucos recursos uma execução colectiva de serviços com os seus vizinhos, de modo a cumprir com as complexas restrições de qualidade de serviço impostas pelos utilizadores ou pelas aplicações. Decorrendo no contexto do projecto CooperatES, o trabalho resultante desta tese tem como principal objectivo avaliar a practicabilidade dos conceitos principais propostos no âmbito do projecto. O trabalho em causa implicou a escolha e análise de uma plataforma, a análise de requisitos, a implementação e avaliação de uma framework que permite a execução cooperativa de aplicações e serviços que apresentem requisitos de qualidade de serviço. Do trabalho desenvolvido resultaram as seguintes contribuições: Análise das plataformas de código aberto que possam ser utilizadas na implementação dos conceitos relacionados com o projecto CooperatES; Critérios que influenciaram a escolha da plataforma Android e um estudo focado na análise da plataforma sob uma perspectiva de sistemas de tempo-real; Experiências na implementação dos conceitos do projecto na plataforma Android; Avaliação da practicabilidade dos conceitos propostos no projecto CooperatES; Proposta de extensões que permitam incorporar características de sistemas de tempo real abertos na plataforma Android.

Modelos de supervisão/regulação bancária: enquadramento internacional e desenvolvimentos mais recentes

Mestrado em Contabilidade e Análise Financeira

Auditoria dos sistemas de informação das instituições financeiras

Mestrado em Contabilidade e Gestão das Instituições Financeiras

Padrão CQRS para sistemas distribuídos de larga escala

Esta tese pretende desenvolver o estudo de um padrão que utiliza um modelo de implementação fundamentado na natureza das operações que um sistema pretende executar. Estas operações são distinguidas pelo que realizam, portanto um sistema poderá ser dividido em duas grandes áreas: uma, de leitura de dados, e outra, de manipulação de dados. A maior parte dos sistemas atuais está a progredir, com o objetivo de conseguir suportar muitos utilizadores em simultâneo, e é neste aspeto que este padrão se diferencia porque vai permitir escalar, com muita facilidade e sem sobrecarga. Além disso, este estudo deverá facultar um conjunto de boas práticas e incidir sobre o facto de se pretender desenhar um sistema de raiz e não apenas em “migrar” de um sistema já existente. Ao estudar este padrão é essencial estudar e analisar a evolução da utilização futura dos sistemas, para determinar a utilidade e a aplicação crescente ou não, deste padrão. Interessa também saber, quem implementa atualmente este padrão, em que tipo de produtos, e enaltecer o seu sucesso de implementação, estimulando o desenvolvimento da sua utilização. Finalmente, demonstra-se a aplicabilidade e validade do padrão proposto, através de uma implementação modelo, com a ajuda de uma framework de forma a determinar quais as ferramentas existentes que possam ser úteis e contribuir para a implementação deste padrão. O objetivo final será demonstrar os principais componentes do sistema, como poderá prosseguir a sua evolução e como poderá ser melhorada e simplificada a comunicação entre os seus componentes, para uma utilização mais fácil, frequente e de interesse comum para todos: utilizadores e administradores.