Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Controle social do espaço público: uma análise do conselho turístico pólo costa das dunas

The managing Conselho of public politics constitute one of the main experiences of democracy in Brazil contemporary representing a conquest for construction of a democratic institutionalism. The historical newness consists of the intensification and the institutionalization of the dialogue between government and society - in public and plural canals - as condition for an allocation more efficient joust and of the public resources. In this context the present study it objectified to understand from readings of the performance of represented group of bencheses the dynamics of functioning of the Tourist Conselho Pólo Costa das Dunas while space of participation and social control. The bibliographical research contemplated diverse sources in order to compile knowledge of credential authors in the quarrel of inherent subjects to the civil society and the public sphere to the construction of the citizenship to the conception formation and dynamics of the social control through Conselho of public politics. A qualitative perspective the case study was adopted as research method and for attainment of the data interviews with the members of the Conselho had been carried through beyond consultation the referring documents the dynamics of functioning of the Conselho. The profiles capacities and limitations of the members of the Conselho had been identified constitution social and dynamic organization of functioning of the Conselho and the readings of the members of the Conselho concerning the power to decide instances and participation. The results had shown that the allotment of being able in the Conselho does not occur of equal form. The functions of coordination of the activities of the Conselho are assumed by the representatives of the public agencies. Level of qualification of council members also if presents as difficulty to development of activities of Conselho since the majority of the interviewed ones disclosed unreliability and unfamiliarity when thematic specific that runs away from its organizacional reality they are boarded in the assemblies. Of this form the Conselho if presents more as half of institutional legitimation of what half of characterization of the creation of a public sphere properly said. Finally he could himself be concluded that a democratic culture inexists that inside crosses practical the institutional ones of the Conselho thus limiting the possibility to reach the effective social control of the public politics of tourism in the Rio Grande do Norte

O Modelo de gestão participativa do Plano Nacional do Turismo (PNT-2003/2007): a atuação do CONETUR/RN

To implement policies and plans at the tourist sector involve disposition to the establishment of parceries among government and private initiative, space to the action of studious, researchers and professionals of several areas of knowledge and formation, able of to give new courses no only at the tourism, but to the economy how a every, seen which the tourism had a effect multiplicator, reaching 52 sectors of the economy. At this sense, the Brazil came pruning for a new phase of politic actuation at the touristy activity. Until the year 2002, the tourism politic in the Brazil no had detail, because herself treated of isolated actions and many without continuity. However, at to start 2003, several actions were developed in order to contribute for the national touristy planning. The principal was the creation of Ministério do Turismo, accompanied of the formulation and implementation of the Plano Nacional do Turismo (2003/2007). This work pretend to understand the implementation at the Rio Grande do Norte of the model of participative administration extolled by Plano Nacional do Turismo. The your centre detail the action of the Conselho Estadual de Turismo do Rio Grande do Norte (CONETUR), to promote the participation at the tourism public policies. The bibliographical research contemplated diverse sources in order to compile knowledge of credential authors in the quarrel of inherent subjects to the participation and to the tourism public policies, especially at the Brazil. A qualitative perspective the case study was adapted as research method and for attainment of the data interviews with the members of the Conselho had been carried through beyond consultation the referring documents the dynamics of functioning of the Conselho. The principal actuations of the CONETUR, the directives tourism public policies already made and directed to implementation, the type of participation at made decision, the principal difficulties of the implementation of the participative administration model of the Plano Nacional do Turismo and the degree of participation of the members of the Conselho at the reunions had been identified. The results had shown that exist some difficulties at the implementation of the participation at the Conselho Estadual de Turismo do Rio Grande do Norte, knowledge of the Conselheiros of CONETUR function, the presence of bodies which doesn t directly connected at the touristy activity; the absence of time of the Conselheiros to be presents at reunions; the discontinuity of the presidency of the Conselho; among others. So, the CONETUR show himself how a Conselho with participative characteristics, but with some adapted needs.

Gestão ambiental em cadeias produtivas agroindustriais: um estudo em um aglomerado produtivo da caprinovinocultura no Estado do Rio Grande do Norte

This thesis aims to investigate the perception and behavior of goat and sheep rural producers from Central Cabugi Region of Rio Grande do Norte state, in terms of the sector competitiveness, the cooperation mechanisms, information and environmental practices integration in the supply chain, including their customers, and also among the local producers and other institutions that support this agribusiness cluster. The research problem is related to the environmental impacts from goat and sheep breeding. This problem can also be intensified by the organization of producers in a cluster. Then, it is important to examine how the environmental issues are considered by the rural producers and their perception of their suppliers, customers and the institutions that support this activity. The methodology used in this work involved literature review of the topics of supply chain management, green supply chain, clusters development and sustainable livestock. An exploratory survey research was also conducted by personal interviews using questionnaires. Three statistic techniques were used to compile the gathered data: descriptive statistics, cluster analysis, and Chi-square tests. Two clusters were found in this study, however, the entire sample believes the sector of goat and sheep breeding is a medium competitive activity. On the other hand, for the variables of the importance of environmental practices for competitiveness , perception of environmental impacts and environmental benefits from farm vegetation management , the research found 2 distinct groups of individuals when those variables were analyzed together the green supply chain management group of variables in the cluster analysis. Beyond competitiveness perception, no degree of difference was found for the use of insecticides too. The chi-square tests present that producers having at least elementary education, lands bigger 100 hectares and located in the cities of Angicos or Lajes tend to have a higher perception to supply chain management and environmental awareness issues than those with no or incomplete first-level education, producing in lands smaller than 100 hectares and located in the cities of Afonso Bezerra or Pedro Avelino. The chi-square tests also show the amount of milk produced, family s income and associational condition are not related with the variables used in the clusters composition. In this context, this work contributes to planning clusters development strategies and enhancing the production chain sustainability. This Master of Science Thesis can also help to introduce the environmental variable in the project, assessment and monitoring of development policies as well

Proposta e implementação de uma arquitetura reconfigurável híbrida para aplicações baseadas em fluxo de dados

The increase of applications complexity has demanded hardware even more flexible and able to achieve higher performance. Traditional hardware solutions have not been successful in providing these applications constraints. General purpose processors have inherent flexibility, since they perform several tasks, however, they can not reach high performance when compared to application-specific devices. Moreover, since application-specific devices perform only few tasks, they achieve high performance, although they have less flexibility. Reconfigurable architectures emerged as an alternative to traditional approaches and have become an area of rising interest over the last decades. The purpose of this new paradigm is to modify the device s behavior according to the application. Thus, it is possible to balance flexibility and performance and also to attend the applications constraints. This work presents the design and implementation of a coarse grained hybrid reconfigurable architecture to stream-based applications. The architecture, named RoSA, consists of a reconfigurable logic attached to a processor. Its goal is to exploit the instruction level parallelism from intensive data-flow applications to accelerate the application s execution on the reconfigurable logic. The instruction level parallelism extraction is done at compile time, thus, this work also presents an optimization phase to the RoSA architecture to be included in the GCC compiler. To design the architecture, this work also presents a methodology based on hardware reuse of datapaths, named RoSE. RoSE aims to visualize the reconfigurable units through reusability levels, which provides area saving and datapath simplification. The architecture presented was implemented in hardware description language (VHDL). It was validated through simulations and prototyping. To characterize performance analysis some benchmarks were used and they demonstrated a speedup of 11x on the execution of some applications

AutoWebS: um Ambiente para Modelagem e Geração Automática de ServiçosWeb Semânticos

Typically Web services contain only syntactic information that describes their interfaces. Due to the lack of semantic descriptions of the Web services, service composition becomes a difficult task. To solve this problem, Web services can exploit the use of ontologies for the semantic definition of service s interface, thus facilitating the automation of discovering, publication, mediation, invocation, and composition of services. However, ontology languages, such as OWL-S, have constructs that are not easy to understand, even for Web developers, and the existing tools that support their use contains many details that make them difficult to manipulate. This paper presents a MDD tool called AutoWebS (Automatic Generation of Semantic Web Services) to develop OWL-S semantic Web services. AutoWebS uses an approach based on UML profiles and model transformations for automatic generation of Web services and their semantic description. AutoWebS offers an environment that provides many features required to model, implement, compile, and deploy semantic Web services

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Controle social do espaço público: uma análise do conselho turístico pólo costa das dunas

The managing Conselho of public politics constitute one of the main experiences of democracy in Brazil contemporary representing a conquest for construction of a democratic institutionalism. The historical newness consists of the intensification and the institutionalization of the dialogue between government and society - in public and plural canals - as condition for an allocation more efficient joust and of the public resources. In this context the present study it objectified to understand from readings of the performance of represented group of bencheses the dynamics of functioning of the Tourist Conselho Pólo Costa das Dunas while space of participation and social control. The bibliographical research contemplated diverse sources in order to compile knowledge of credential authors in the quarrel of inherent subjects to the civil society and the public sphere to the construction of the citizenship to the conception formation and dynamics of the social control through Conselho of public politics. A qualitative perspective the case study was adopted as research method and for attainment of the data interviews with the members of the Conselho had been carried through beyond consultation the referring documents the dynamics of functioning of the Conselho. The profiles capacities and limitations of the members of the Conselho had been identified constitution social and dynamic organization of functioning of the Conselho and the readings of the members of the Conselho concerning the power to decide instances and participation. The results had shown that the allotment of being able in the Conselho does not occur of equal form. The functions of coordination of the activities of the Conselho are assumed by the representatives of the public agencies. Level of qualification of council members also if presents as difficulty to development of activities of Conselho since the majority of the interviewed ones disclosed unreliability and unfamiliarity when thematic specific that runs away from its organizacional reality they are boarded in the assemblies. Of this form the Conselho if presents more as half of institutional legitimation of what half of characterization of the creation of a public sphere properly said. Finally he could himself be concluded that a democratic culture inexists that inside crosses practical the institutional ones of the Conselho thus limiting the possibility to reach the effective social control of the public politics of tourism in the Rio Grande do Norte

O Modelo de gestão participativa do Plano Nacional do Turismo (PNT-2003/2007): a atuação do CONETUR/RN

To implement policies and plans at the tourist sector involve disposition to the establishment of parceries among government and private initiative, space to the action of studious, researchers and professionals of several areas of knowledge and formation, able of to give new courses no only at the tourism, but to the economy how a every, seen which the tourism had a effect multiplicator, reaching 52 sectors of the economy. At this sense, the Brazil came pruning for a new phase of politic actuation at the touristy activity. Until the year 2002, the tourism politic in the Brazil no had detail, because herself treated of isolated actions and many without continuity. However, at to start 2003, several actions were developed in order to contribute for the national touristy planning. The principal was the creation of Ministério do Turismo, accompanied of the formulation and implementation of the Plano Nacional do Turismo (2003/2007). This work pretend to understand the implementation at the Rio Grande do Norte of the model of participative administration extolled by Plano Nacional do Turismo. The your centre detail the action of the Conselho Estadual de Turismo do Rio Grande do Norte (CONETUR), to promote the participation at the tourism public policies. The bibliographical research contemplated diverse sources in order to compile knowledge of credential authors in the quarrel of inherent subjects to the participation and to the tourism public policies, especially at the Brazil. A qualitative perspective the case study was adapted as research method and for attainment of the data interviews with the members of the Conselho had been carried through beyond consultation the referring documents the dynamics of functioning of the Conselho. The principal actuations of the CONETUR, the directives tourism public policies already made and directed to implementation, the type of participation at made decision, the principal difficulties of the implementation of the participative administration model of the Plano Nacional do Turismo and the degree of participation of the members of the Conselho at the reunions had been identified. The results had shown that exist some difficulties at the implementation of the participation at the Conselho Estadual de Turismo do Rio Grande do Norte, knowledge of the Conselheiros of CONETUR function, the presence of bodies which doesn t directly connected at the touristy activity; the absence of time of the Conselheiros to be presents at reunions; the discontinuity of the presidency of the Conselho; among others. So, the CONETUR show himself how a Conselho with participative characteristics, but with some adapted needs.