JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

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.

Projeto café do trabalhador como promotor de segurança alimentar e nutricional: avaliação da eficácia da unidade Natal-RN

The evaluation of public policies that promote Food Security and Nutrition (FSN) it s a multidisciplinary activity extremely relevant to the effectiveness of actions to legitimize the Human Right to Adequate Food (HRAF). This study aimed at assessing the effectiveness of the unit project Natal-RN Café do Trabalhador in promoting SAN to its users. The theoretical framework is based on the public and political and on the dimensions of the concept of FSN (quantity and quality-regularity). Through a qualitative approach, methodologically this was the work of an evaluation of efficiency of the unit Natal-RN of Café do Trabalhador project in light of the assumptions of the concept of SAN. Data collection was conducted through retrospective archival research in official documents of the project, semi-structured interviews with managers involved in its implementation (representative of the Secretary of State for Employment, Housing and Care of RN SETHAS and third party), socioeconomic questionnaire applied to the users of the unit, check the amount, regularity and quality of meals offered for 15 days (menu routine) using the descriptive form menu and form filling type checklist for verification of compliance with good practices . Methods of analysis, we used content analysis, descriptive statistics and compared to previously established parameters for the project. As categories of analysis were defined organizational arrangement, access, user, food quantity-regularity and food quality. The results show that, it was found in the category arrangement that will implement the project dismissed technical criteria for choosing the districts and the quantitative distribution of meals for each location. It was found that the valuation of the shares of the company outsources technical SETHA has not been performed. We observed in the access category, the unit has a strategic location, but lack of space in the refectory. The main obstacle to economic access for users is the lack of a register for the beneficiaries. In the category of users, it was identified that the clientele of the project it is predominantly men, with more than 51 years, low education, earning wages less 1 obtained through informal employment, which they move up through the unit transport collective, go to all days of operation due primarily to price. About the meals category quantity-regularity of food showed that the menu serves 95% of the desired needs, and that holidays and weekends are periods of disrupting the regularity of supply of meals. Regarding the category of food quality, it was found that the nutritional aspect on the menu are food sources rich in sodium, nitrates and low in fiber. In the aspect of hygiene and sanitation are the main limitations related to waste management, lack of exposure controls of food prepared and inadequacies of the physical structure. The results showed that in general and the institutional arrangement of the organs attached to the project should establish a systematic evaluation project is to establish as a promoter of and FSN overcome these obstacles

Acordos internacionais sobre a produção compartilhada de recursos naturais: a unitização interestatal na área do petróleo e gás sob o enfoque constitucional brasileiro

The apportionment of natural resources between sovereign States is a subject that relates many aspects of International law, as long as Constitutional Law, at the execution and application phases of international treaties that regulates the exploration of common goods. In this sense, because of their natural characteristics that creates an environment of constant migration and fixation in transboundary regions, terrestrial or maritime, the petroleum and the natural gas bound a complex juridical apparatus that can control the sovereign rights involved. This research is aim at accomplishing a study concerning the international agreements that enable the non-unilateral action, specifically the unitization treaties between sovereign States, as a manner to resolve situations related to the individualization of oil and/or gas reservoirs that go across their national borders. These agreements will be analyzed considering the international public law sources theory, bearing in mind yet the already existed experiences in this sense, not disregarding the way that this fact could affect Brazil. It will begin with an historical incursion over the unitization institute, covering its main characteristics and its formation and execution procedures, and finally it will address the Brazilian legal system and the comparative law threats the institute. The clauses of these relevant agreements will be analyzed in details, concerning its particularities and its contents. Because these agreements are international obligatory rules of law, it is indispensable that they are considered under the auspices of the international law system, focusing their nature and the subjects of international law and establishing them as sources of the international law, analyzing them, then, as international rules and the applicable law to these juridical relations, the conventional established, the consolidated international custom and the applicable International Law principles, appearing the State s responsibility as an important subject for the verification of the acts lawful practiced by States. The analysis of the apportionment of these natural resources ends with the individualization of possible exploitable marine oil fields located between the exclusive economic zone and the continental platform ends and the region administrated by the International Seabed Authority. At last, the Brazilian constitutional system appears as the mechanism of integration, application and execution of the international unitization agreements in Brazil, detaching the format and the proceedings that the international treaties take to acquire validity at the national legal system, passing through the treaties interpretation and the applicable constitutional principles, coming to its application in Brazil, considering the existing constitutional peculiarities and the role played by the National Agency of Petroleum, Natural Gas and bio-fuel ANP