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.

Local savings and credit organizations : towards an innovative approach for rural Zimbabwe

Résumé : L'épargne et le crédit sont reconnus comme deux éléments clés du développement économique. Or, jusqu'à ce que les membres défavorisés d'une communauté aient accès aux ressources et services financiers, ils seront toujours privés de la participation au processus du développement et des bénéfices qui pourraient s'en suivre. La recherche indique que les services des prêts offerts par les institutions officielles ne parviennent que rarement aux plus pauvres de la société, qui sont obligés par conséquent de dépendre des intermédiaires informels comme les groupes d'épargne et les usuriers. Diverses organisations sur place comme les coopératives ont essayé de répondre aux besoins du développement des communautés défavorisées. Dans ce contexte, nous ferons d'abord le bilan historique et international des coopératives d'épargne et de crédit (i.e. les caisses populaires). Ensuite, nous analyserons quatre autres tentatives récentes qui eurent pour but de créer de nouvelles formes d'institutions financières, de les développer de telle sorte qu'elles offrent un degré d'accès raisonnable, sinon privilégié, aux ménages de revenu inférieur. L'analyse de ces cas-ci (venant du Zimbabwe, de l'Inde, du Ghana, et du Bangladesh) permettra d'identifier leurs caractéristiques communes et divergentes. À partir des résultats de cette analyse, un projet pilote au Zimbabwe fut initié pour élaborer une stratégie appropriée qui faciliterait le développement d'un réseau de caisses rurales. L'analyse théorique, la mise en pratique du projet, ainsi que les conclusions subséquentes soulignent l'importance de la participation directe des communautés à l'élaboration des organisations populaires. Il est évident que ces méthodes sont de loin plus efficaces que celles basées sur des politiques et des structures uniformes et compréhensives.||Abstract : Savings and credit are recognized as key elements of economic development, but until such time as disadvantaged members of the community have access to financial resources and services, they are obstructed from participating fully in the development process. Experience has shown that formal institutional credit bas rarely reached the poorer sectors of society, who have had to rely on informal intermediaries such as savings groups and money-lenders. Local organizations such as co-operatives have attempted to respond to the development needs of disadvantaged communities, and the historical and international record of savings and credit co-operatives (i.e. credit unions) is examined in this context. Four recent initiatives to design and develop new forms of financial institutions that give fair if not favoured access to low-income housebolds are also identified. These cases (from Zimbabwe, India, Bangladesh, and Ghana) are examined in an effort to identify common and divergent characteristics. Following from this analysis, a pilot project in Zimbabwe was initiated in an effort to elaborate an appropriate strategy for development of a network of rural savings and credit organization. The theoretical analysis, field exercise and subsequent reflections highlight the need for participatory methods of organizational design and development, rather than any all-encompassing structural or policy guidelines.

2015-2016 ACCOUNTABILITY MANUAL : The Annual School and District Report Card System for South Carolina Public Schools and School Districts

State law requires that for school years 2014-15 and 2015-16 the EOC will not rate schools or districts but will instead report on student academic performance. The Education Oversight Committee must use the results of these assessments in school years 2014-2015 and 2015-2016 to report on student academic performance in each school and district pursuant to Section 59-18-900. The state report card for school year 2015-16 will include assessment information and measurements that address the Profile of the South Carolina Graduate.

Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card

La vérification de la résistance aux attaques des implémentations embarquées des vérifieurs de code intermédiaire Java Card est une tâche complexe. Les méthodes actuelles n'étant pas suffisamment efficaces, seule la génération de tests manuelle est possible. Pour automatiser ce processus, nous proposons une méthode appelée VTG (Vulnerability Test Generation, génération de tests de vulnérabilité). En se basant sur une représentation formelle des comportements fonctionnels du système sous test, un ensemble de tests d'intrusions est généré. Cette méthode s'inspire des techniques de mutation et de test à base de modèle. Dans un premier temps, le modèle est muté selon des règles que nous avons définies afin de représenter les potentielles attaques. Les tests sont ensuite extraits à partir des modèles mutants. Deux modèles Event-B ont été proposés. Le premier représente les contraintes structurelles des fichiers d'application Java Card. Le VTG permet en quelques secondes de générer des centaines de tests abstraits. Le second modèle est composé de 66 événements permettant de représenter 61 instructions Java Card. La mutation est effectuée en quelques secondes. L'extraction des tests permet de générer 223 tests en 45 min. Chaque test permet de vérifier une précondition ou une combinaison de préconditions d'une instruction. Cette méthode nous a permis de tester différents mécanismes d'implémentations de vérifieur de code intermédiaire Java Card. Bien que développée pour notre cas d'étude, la méthode proposée est générique et a été appliquée à d'autres cas d'études.

Water quality trading: credit stacking and ancillary benefits

Ecosystems can provide many services. Wetlands, for example, can help mitigate water pollution from point sources as well as non-point sources, serve as habitat for wildlife, sequester carbon and serve as a place for recreation. Studies have found that these services can have substantial value to society. The sale of ecosystem credits has been found to be a possible way to finance construction investments in wetlands and easements to farmers to take their land out of production. At the same time, selling one ecosystem service credit may not always be enough to justify the investment. Traditionally market participants have only been allowed to sell a single credit from one piece of land, but recently there have been discussions about the possibility of selling more than one credit from a piece of land because it potentially could lead to more efficient ecosystem service provision. Selling multiple credits is sometimes referred to as credit stacking. This paper is an empirical study of the potential for credit stacking applied to the services provided by wetlands in the Upper Mississippi River Basin, specifically nitrogen, phosphorus and wildlife credits. In the setting of our study where costs are discrete rather than continuous we found that wetlands are a cost-effective way to reduce the nitrogen loads from wastewater treatment plants and that stacking nitrogen, phosphorus and wildlife credits may improve social welfare while leading to a higher level of ecosystem services. However, for credit stacking to be welfare improving we found that there needs to be a substantial demand for the credit that covers the majority of the investment in wetlands, while the credit aggregator has a choice between what ecosystem projects to undertake. If the credit that covers the majority of investment is sold first and is the sole basis of the investment decision and the objective is to improve welfare, a sequential implementation of ecosystem credits is not recommended; it would not lead to an increase in the total amount of ecosystem services provided though it would increase profit for the credit producer.

FERTILISER CREDIT AND AGROECOLOGICAL USE OF ORGANIC SOIL AMENDMENTS IN NORTHERN GHANA

Contemporary African agricultural policy embodies the African Green Revolution’s drive towards modernisation and commercialisation. Agroecologists have criticised this movement on ecological, social and political grounds. Northern Ghanaian fertiliser credit schemes provide a good example through which these critiques can be examined in a context where agricultural policy reflects the African Green Revolution’s ideals. This study aimed to determine the relationship of such credit schemes to farmers’ use of organic amendments, elucidate other factors related to organic amendment use, and comment on the relevance of this modernisation policy and its relationship to agroecology. A first research phase employed semi-structured key informant interviews. Qualitative data from these informed construction of a semi-structured questionnaire that was used in a survey of 205 farmers. Multistage sampling purposively identified five villages and selected farmers within who had joined government and donor-funded fertiliser credit schemes. The use of organic and inorganic amendments was compared to that of peers who had not taken part in such schemes. Quantitative data were used in binomial logistic regression, inferential and descriptive statistics. Qualitative data were content analysed. Credit group membership was associated with higher fertiliser application and yield, but had little influence on the extent of commercialisation. Farmers who applied organic amendments were 40% less likely to belong to a fertiliser credit scheme than not, indicating substitution between organic and inorganic fertilisers. Organic amendments were 40% more likely to be applied to compound farms than outfields and six times more likely to be applied by household heads than other household members. However, household heads also preferentially joined credit groups. This was part of an agroecological soil fertility management strategy. Household heads appreciated the soil moisture retention properties of organic amendments, and applied them to compound farms to reduce risk to their household food supply in a semi-arid environment. They simultaneously accessed fertiliser to enhance this household provisioning strategy. They appreciated the increased yields this achieved, yet complained that the repayment terms of credit schemes were unfair, fertiliser did not enhance yields in dry conditions and fertilisers were supplied late. Farmers’ use of credited fertiliser alongside their existing agroecological strategy is helpful to the extent that it raises yields, yet is problematic in that it conflicts with risk-reduction strategies based on organics. There is some potential for modernised and agroecological management paradigms to coexist. For fertiliser credit to play a role in this, schemes must use fairer repayment terms and involve a focus on simultaneous use of organic amendments.

Role of financial and other information in trade credit decisions in SMEs: An international study

Trade credit is an important source of finance for SMEs and this study investigates the use of the financial statements and other information in making trade credit decisions in smaller entities in Finland, the UK, USA and South Africa. The study adds to the literature by examining the information needs of unincorporated entities as a basis for making comparisons with small, unlisted companies. In-depth, semi-structured interviews in each country were used to collect data from the owner-managers of SMEs and from credit rating agencies and credit insurers. The findings provide insights into similarities and differences between countries and between developed and developing economies. The evidence suggests that there are three main influences on the trade credit decision: formal and report-based information, soft information relating to social capital and contingency factors. The latter dictate the extent to which hard/formal information versus soft/informal information is used.

Information Content of Bank Credit Rating Changes: Evidence from Europe

This thesis examines the short-term impact of credit rating announcements on daily stock returns of 41 European banks indexed in STOXX Europe 600 Banks. The time period of this study is 2002–2015 and the ratings represent long-term issuer ratings provided by S&P, Moody’s and Fitch. Bank ratings are significant for a bank’s operation costs so it is interesting to investigate how investors react to changes in creditworthiness. The study objective is achieved by conducting an event study. The event study is extended with a cross-sectional linear regression to investigate other potential determinants surrounding rating changes. The research hypotheses and the motivation for additional tests are derived from prior research. The main hypotheses are formed to explore whether rating changes have an effect on stock returns, when this possible reaction occurs and whether it is asymmetric between upgrades and downgrades. The findings provide evidence that rating announcements have an impact on stock returns in the context of European banks. The results also support the existence of an asymmetry in capital market reaction to rating upgrades and downgrades. The rating downgrades are associated with statistically significant negative abnormal returns on the event day although the reaction is rather modest. No statistically significant reaction is found associated with the rating upgrades on the event day. These results hold true with both rating changes and rating watches. No anticipation is observed in the case of rating changes but there is a statistically significant cumulative negative (positive) price reaction occurring before the event day for negative (positive) watch announcements. The regression provides evidence that the stock price reaction is stronger for rating downgrades occurring within below investment grade class compared with investment grade class. This is intuitive as investors are more concerned about their investments in lower-rated companies. Besides, the price reaction of larger banks is more mitigated compared with smaller banks in the case of rating downgrades. The reason for this may be that larger banks are usually more widely followed by the public. However, the study results may also provide evidence of the existence of the so-called “too big to fail” subsidy that dampens the negative returns of larger banks.

Household portfolio allocation, risk attitudes and credit constraints : evidence from the eurozone

Mestrado em Economia Monetária e Financeira

Credit risk & forward price models

Doutoramento em Gestão

The credit channel transmission of monetary policy in the European Union

This paper confirms the importance of the financial systems behaviour conditions to the credit channel of monetary policy in the entire European Union (EU). It uses panel fixed- effect estimations and quarterly data for 26 EU countries for the period from Q1 1999 to Q3 2006 in an adaptation of the Bernanke and Blinder (1988) model. The findings also reveal the high degree of foreign dependence and indebtedness of the EU banking institutions and their similar reactions to the macroeconomic and the monetary policy environments.