Describing Web Service Architectures through Design-by-Contract

Architectural description languages (ADLs) are used to specify a high-level, compositional view of a software application, specifying how a system is to be composed from coarse-grain components. ADLs usually come equipped with a formal dynamic semantics, facilitating specification and analysis of distributed and event-based systems. In this paper, we describe the TrustME, an ADL framework that provides both a process and a structural view of web service-based systems. We use Petri-net descriptions to give a dynamic view of business workflow for web service collaboration. We adapt the approach of Schmidt to define a form of Meyer's design-by-contract for configuring workflow architectures. This serves as a configuration-level means of constructing safer, more robust systems.

Gerenciamento de serviços de tecnologia da informação, utilizando a biblioteca de boas práticas ITIL

O ITIL é uma biblioteca de boas práticas nos serviços de Tecnologia da Informação (TI), desenvolvida no final dos anos 80 pela CCTA (Central Computer and Telecommunications Agency) e atualmente sob custódia da OGC (Office for Government Commerce) da Inglaterra, buscando promover a gestão com foco no cliente e na qualidade dos serviços de tecnologia da informação (TI). Portanto, este trabalho teve como objetivo verificar a aplicação do ITIL em algumas empresas da região do ABC Paulista, bem como transmitir uma visão geral dos serviços, criando uma familiaridade com os processos de gerenciamento de serviços em TI. Participaram do seguinte estudo 19 sujeitos de ambos os sexos, sendo que 14 eram do sexo masculino e 5 do sexo feminino, onde os mesmos responderam o questionário de pesquisa. Observou-se então quais foram os benefícios, quantidade de profissionais certificados nos departamentos e também um dos itens mais importantes que as empresas buscam hoje em dia: a redução de custos de TI.

Planejamento estratégico: aplicação nas micro e pequenas empresas

The Strategic Planning is the managerial process that it makes possible to establish one heading for being followed by the company, with views to obtain an optimization level in this relationship with the external atmosphere. In the small company¿s improvement the general performance of the results and the use of resources, however it is still little known and used. These organizations need administration tools to be capable to promote the business growth and to guarantee the survival more and more in this market competitive. This way, it is done necessary to approach the strategic planning in a complex less way and the objective of this research is to provide larger knowledge regarding the Strategic Planning in the personal computer and small companies, to verify the limitations in the implantation, to analyze the reasons for the low effectiveness of the use in companies of this load and to identify the consultants interviewees close to the best way to implant it. The understanding of these limitations aids the small intrepreneur and the consultant in the implantation of the strategic planning as increment of competitiveness as this use provides reflections, guidelines for the activities of the organization, as well as it makes possible adaptation and answer capacity to the changes of the market.

Modelo de gestão de risco em segurança da informação: um estudo de caso no mercado brasileiro de cartões de crédito

As questões ligadas a gestão de riscos associados a segurança da informação já é uma realidade no cenário empresarial brasileiro. O crescimento das operações de negócios em direção aos sistemas de informação baseados em tecnologia fez com que os números de ameaças e de vulnerabilidades sobre as redes de computadores e comunicações aumentassem. Vários são os desafios de estruturação e implementação de uma área de segurança da informação dentro das empresas. Este trabalho analisa as diversas formas de construção de uma infra-estrutura de gestão de risco em segurança de informação, não só no âmbito tecnológico, mas também, no operacional e no mercadológico, de forma a estabelecer uma relação transparente às demais áreas internas da organização, aos clientes e a todo o mercado. A segurança da informação, vista freqüentemente como um assunto ligado a tecnologia, passa a ser entendida cada vez mais como um processo de negócio, e conseqüentemente, uma grande vantagem competitiva para o mundo empresarial.

Um estudo experimental sobre o uso da informática no ensino da contabilidade

Esta pesquisa buscou fundamentar o uso da informática no ensino da contabilidade através de um experimento realizado no sétimo período do Curso de Graduação em Ciências Contábeis, da Faculdade de Economia e Administração, da Universidade Federal do Rio de Janeiro. A revisão da literatura e fundamentos teóricos abordou, principalmente, o sistema de ensino através do computador denominado "COMPUTER ASSISTED INSTRUCTlON - C.A.I. ", sua definição, características, utilização e organização. Também fora abordados aspectos sobre o computador e a instrução programada assim como as vantagens e restrições do uso do computador no ensino. Os resultados obtidos permitiram a análise do comportamento dos alunos diante da nova maneira de se estudar e, ainda, um confronto de suas opiniões com as vantagens e restrições encontradas na literatura. A experiência vivenciada pelo pesquisador durante o experimento, permitiu-lhe concluir que o estudo desenvolvido foi importantíssimo na sua carreira, como professor de contabilidade e, ainda, como educador preocupado com aspectos de um ensino crítico. O estudo permitiu que fossem sugeridas recomendações ao governo, universidades, editores e professores sobre a utilização desta nova ferramenta de ensino e sugestões sobre novas pesquisas nesta área.

Gestão verde de tecnologia da informação e comunicação: fatores que influenciam a sua adoção em grandes empresas usuárias no Brasil

A crescente utilização de recursos de informática e comunicação nas empresas, visando modernização, agilidade, redução de custos e outros, tem trazido diversos benefícios, mas tem também se tornado um enorme problema para o planeta. A quantidade de lixo eletrônico (e-waste) gerada pelos equipamentos de informática e comunicação tem dobrado a cada cinco anos, se tornando um dos principais focos de atenção nos últimos anos. O volume de lixo eletrônico gerado pelo descarte de equipamentos de informática e comunicação (TIC), já ultrapassa a marca de 50 milhões de toneladas por ano, o que equivale a oito vezes a produção total de resíduos da cidade de São Paulo. O mercado brasileiro total de eletrônicos é considerado o quinto do mundo, depois da China, Estados Unidos, Japão e Rússia. A produção total de lixo eletrônico no Brasil em 2011 foi de um milhão de toneladas e a parte referente a equipamentos de TIC foi estimada em 98 mil toneladas. Frente a este contexto este estudo visa contribuir para a expansão do conhecimento na gestão verde da cadeia de suprimentos (GSCM) aplicado à realidade empresarial brasileira de TIC. Especificamente pretende-se identificar quais fatores influenciam o processo de adoção e aplicação da gestão verde de TIC, em grandes empresas usuárias de TIC no Brasil, a partir dos modelos propostos por Molla (2008) e Molla e Coopers (2008). Desta forma buscou-se responder ao seguinte problema de pesquisa: quais fatores influenciam grandes empresas usuárias de tecnologia da informação e comunicação (TIC) no Brasil na adoção de conceitos de gestão de verde? Para isto, foi realizado estudo de caso em seis grandes empresas, todas lideres em seus setores, representando grandes áreas de serviços e manufatura. Como resultado final, foi proposto um novo modelo analítico, que pareceu mais adequado ao setor de serviços. O estudo também identificou que na gestão verde de TIC empresas manufatureiras tem prioridades diferentes das de serviço. Muitas vezes seus desafios operacionais são mais críticos em relação à sustentabilidade, que a gestão verde de TIC em si. Por outro lado, o estudo dos serviços prestados pelo setor público apesar dos grandes orçamentos anuais, apontou restrições quanto aos aspectos legais e deficiência de qualificação e capacitação de seus colaboradores como fatores limitantes para a implantação de programas de gestão verde mais abrangentes.

Implementação da rotina de unfolding para determinação de distribuição de tamanho de grãos esféricos via distribuição de interceptos lineares e de área de seção

Na unfolding method of linear intercept distributions and secction área distribution was implemented for structures with spherical grains. Although the unfolding routine depends on the grain shape, structures with spheroidal grains can also be treated by this routine. Grains of non-spheroidal shape can be treated only as approximation. A software was developed with two parts. The first part calculates the probability matrix. The second part uses this matrix and minimizes the chi-square. The results are presented with any number of size classes as required. The probability matrix was determined by means of the linear intercept and section area distributions created by computer simulation. Using curve fittings the probability matrix for spheres of any sizes could be determined. Two kinds of tests were carried out to prove the efficiency of the Technique. The theoretical tests represent ideal cases. The software was able to exactly find the proposed grain size distribution. In the second test, a structure was simulated in computer and images of its slices were used to produce the corresponding linear intercept the section area distributions. These distributions were then unfolded. This test simulates better reality. The results show deviations from the real size distribution. This deviations are caused by statistic fluctuation. The unfolding of the linear intercept distribution works perfectly, but the unfolding of section area distribution does not work due to a failure in the chi-square minimization. The minimization method uses a matrix inversion routine. The matrix generated by this procedure cannot be inverted. Other minimization method must be used

Tempo livre de lazer e composição corporal de escolares do meio-oeste catarinense

The aim of this study was to investigate the relationship between free time for leisure and body composition of students in the crucial ninth year. (N = 228) of towns in the Midwest catarinense. We used the Adolescent Behavior Questionnaire of Santa Catarina (COMPAC) to assess lifestyle, considering that Active schoolchildren during the week, accumulated 300 or more minutes of moderate or vigorous physical activity (MVPA). Were used the time to 2 hours or more / day to determine the time of excessive use of TV and computer video game. To analyze body composition were used two criteria: the Body Mass Index (BMI) and sum of skinfolds (EDC). It was observed a proportion of 67.3% of girls and 68.7% of boys assets and more than 98% of students were using excessive TV time, computer and video game. In the classification by EDC, most of the boys showed great or low levels of body composition, while more than half of girls were classified at higher levels. As for BMI, most boys and girls had not overweight. Significant difference in the comparison of total minutes per week of MVPA reported between the groups, the second criterion of EDC and BMI for girls but not for BMI in boys. It is concluded that students with higher accumulation in minutes of MVPA showed better body composition indicators, but no significant difference was found when compared active groups with inactive, according to criteria used.

Metodologia para adaptação de microarquiteturas microprogramadas soft-core à uma ISA padrão: estudo do impacto sobre a complexidade de hardware para o padrão MIPS

In academia, it is common to create didactic processors, facing practical disciplines in the area of Hardware Computer and can be used as subjects in software platforms, operating systems and compilers. Often, these processors are described without ISA standard, which requires the creation of compilers and other basic software to provide the hardware / software interface and hinder their integration with other processors and devices. Using reconfigurable devices described in a HDL language allows the creation or modification of any microarchitecture component, leading to alteration of the functional units of data path processor as well as the state machine that implements the control unit even as new needs arise. In particular, processors RISP enable modification of machine instructions, allowing entering or modifying instructions, and may even adapt to a new architecture. This work, as the object of study addressing educational soft-core processors described in VHDL, from a proposed methodology and its application on two processors with different complexity levels, shows that it s possible to tailor processors for a standard ISA without causing an increase in the level hardware complexity, ie without significant increase in chip area, while its level of performance in the application execution remains unchanged or is enhanced. The implementations also allow us to say that besides being possible to replace the architecture of a processor without changing its organization, RISP processor can switch between different instruction sets, which can be expanded to toggle between different ISAs, allowing a single processor become adaptive hybrid architecture, which can be used in embedded systems and heterogeneous multiprocessor environments

Caracterização do ritmo de atividade/repouso do Mocó (Kerodon Rupestris) em fotoperíodo artificial

Kerodon rupestris (rock cavy, mocó) is an endemic caviidae of Brazilian northeast that inhabits rocky places in the semi arid region. The aim of this study was to characterize the activity/rest rhythm of the rock cavy under 12:12 h LD cycle and continuous light. In the first stage, seven animals were submitted to two light intensities (LD; 250:0 lux and 400:0 lux; 40 days each intensity). In the second stage four males were kept for 40 days in LD (470:<1 lux), for 18 days in LL 470 lux (LL470) and for 23 days in red dim light below 1 lux (LL<1). In the third stage three males were initially kept in LD 12:12 h (450:<1 lux) and after that in LL with gradual increase in light intensity each 21 days (<1 lux LL<1; 10 lux-LL10; 160 lux LL160; 450 lux LL450). In the fourth stage it was analyzed the motor activity of 16 animals in the first 10 days in LD. Motor activity was continuously recorded by passive infrared movement sensors connected to a computer and totaled in 5 min bins. The activity showed circadian and ultradian rhythms and activity peaks at phase transitions. The activity and the rest occurred in the light as well as in the dark phase, with activity mean greater in the light phase for most of the animals. The light intensity influenced the activity/rest rhythm in the first three stages and in the first stage the activity in 400 lux increased in four animals and decreases in two. In the second stage, the tau for 3 animals in LL470 was greater than 24 h; in LL<1 it was greater than 24 h for one and lower for two. In the third stage the tau decreased with the light intensity increase for animal 8. During the first days in the experimental room, the animals did not synchronize to the LD cycle with activity and rest occurring in both phases. The results indicate that the activity/rest rhythm of Kerodon rupestris can be affected by light intensity and that the synchronization to the LD cycle results from entrainment as well as masking probably as a consequence of the action of two or more oscillators with low coupling strength

Sistema não-Intrusivo para Estimação da Direção do olhar utilizando redes neurais artificiais

The fundamental senses of the human body are: vision, hearing, touch, taste and smell. These senses are the functions that provide our relationship with the environment. The vision serves as a sensory receptor responsible for obtaining information from the outside world that will be sent to the brain. The gaze reflects its attention, intention and interest. Therefore, the estimation of gaze direction, using computer tools, provides a promising alternative to improve the capacity of human-computer interaction, mainly with respect to those people who suffer from motor deficiencies. Thus, the objective of this work is to present a non-intrusive system that basically uses a personal computer and a low cost webcam, combined with the use of digital image processing techniques, Wavelets transforms and pattern recognition, such as artificial neural network models, resulting in a complete system that performs since the image acquisition (including face detection and eye tracking) to the estimation of gaze direction. The obtained results show the feasibility of the proposed system, as well as several feature advantages.

Avaliação da posição do supercílio por medidas angulares

OBJETIVO: Avaliar a posição do supercílio em diferentes idades, utilizando medidas angulares. MÉTODOS: Foram avaliados indivíduos com idade de 4 a 6 anos (Grupo de crianças) e igual ou superior a 50 anos (Grupo de idosos), separados em faixas etárias, avaliando-se a posição do supercílio por meio de imagens digitais, utilizando medidas angulares. As imagens foram tomadas em posição primária do olhar, utilizando filmadora Sony Lithium, e posteriormente transferidas para computador MacIntosh G4 e processadas pelo programa NIH 1,58. Os parâmetros analisados foram: ângulo interno, externo e vertical da cauda do supercílio. As comparações foram entre sexos, faixas etárias e lateralidade. Os resultados obtidos foram submetidos à análise estatística. RESULTADOS: A comparação das medidas angulares mostrou que houve diferença significativa na posição da cauda do supercílio entre os grupos estudados quando comparados dentro do grupo com faixa etária semelhante. Porém, comparando-se crianças e adultos, houve diferença em todos os tipos de ângulos estudados. CONCLUSÕES: A posição do supercílio avaliada por medidas angulares mostrou diferenças entre crianças e idosos, revelando associação positiva com a idade.