A B model for ensuring soundness of a large subset of the Java Card virtual machine

AbstractJava Cards are a new generation of smart cards that use the Java programming language. As smart cards are usually used to supply security to an information system, security requirements are very strong. The byte code interpreter and verifier are crucial components of such cards, and proving their safety can become a competitive advantage. Previous works have been done on methodology for proving the soundness of the byte code interpreter and verifier using the B method. It refines an abstract defensive interpreter into a byte code verifier and a byte code interpreter. However, this work had only been tested on a very small subset of the Java Card instruction set. This paper presents a work aiming at verifying the scalability of this previous work. The original instruction subset of about 10 instructions has been extended to a larger subset of more than one hundred instructions, and the additional cost of the proof has been managed by modifying the specification in order to group opcodes by properties

Alcuni abstract di articoli che trattano argomenti relativi all'eHealth

Non utile per esam

A Tripartite Framework for Leadership Evaluation

The Tripartite Framework for Leadership Evaluation provides a comprehensive examination of the leadership evaluation landscape and makes key recommendations about how the field of leadership evaluation should proceed. The chief concern addressed by this working paper is the use of student outcome data as a measurement of leadership effectiveness. A second concern in our work with urban leaders is the absence or surface treatment of race and equity in nearly all evaluation instruments or processes. Finally, we call for an overhaul of the conventional cycle of inquiry, which is based largely on needs analysis and leader deficits, and incomplete use of evidence to support recurring short cycles within the larger yearly cycle of inquiry

Cracking the Code on Stem: A People Strategy for Nevada\u27s Economy

Nevada has in place a plausible economic diversification strategy—and it’s beginning to work. Now, the state and its regions need to craft a people strategy. Specifically, the state needs to boost the number of Nevadans who possess at least some postsecondary training in the fields of science, technology, engineering, or math—the so-called “STEM” disciplines (to which some leaders add arts and design to make it “STEAM”). The moment is urgent—and only heightened by the projected worker needs of Tesla Motors’ planned “gigafactory” for lithium-ion batteries in Storey County. Even before the recent Tesla commitment, a number of the more high-tech industry sectors targeted by the state’s new economic diversification strategy had begun to deliver significant growth. Most notable in fast-growing sectors like Business IT Ecosystems (as defined by the Governor’s Office for Economic Development) and large sectors like Health and Medical Services, this growth has begun to increase the demand in Nevada for workers with at least a modicum of postsecondary training in one or more STE M discipline. However, there is a problem. Even though many available opportunities require no more than the right community college certificate, insufficient numbers of Nevadans have pursued even a little STEM training. As a result, too few Nevadans are ready to participate in the state’s emerging STEM economy. The upshot: Without concerted action to prepare more Nevadans for jobs in STEM-intensive fields, skills shortages could limit growth in the state’s most promising target industries and Nevadans could miss out on employment that offers superior paths to opportunity and advancement. Which is the challenge this report addresses: Aimed at focusing the state at a critical moment, this analysis speaks to Nevada’s STEM challenge by providing a new assessment of Nevada’s STEM economy and labor market as well as a review of actions that leaders throughout the state—whether in the public, private, civic, or philanthropic sectors—can take to develop a workforce capable of supporting continued growth through economic diversification

Scaling Success: Lessons from Adaptation Pilots in the Rainfed Regions of India

"Scaling Success" examines how agricultural communities are adapting to the challenges posed by climate change through the lens of India's rainfed agriculture regions. Rainfed agriculture currently occupies 58 percent of India's cultivated land and accounts for up to 40 percent of its total food production. However, these regions face potential production losses of more than $200 billion USD in rice, wheat, and maize by 2050 due to the effects of climate change. Unless action is taken soon at a large scale, farmers will see sharp decreases in revenue and yields.Rainfed regions across the globe have been an important focus for the first generation of adaptation projects, but to date, few have achieved a scale that can be truly transformational. Drawing on lessons learnt from 21 case studies of rainfed agriculture interventions, the report provides guidance on how to design, fund and support adaptation projects that can achieve scale

Bridging Gaps and Building Solidarity

Real innovation for a more sustainable and inclusive food system requires collaboration based on resilient relationships between a diverse range of community partners and across socio-economic boundaries. SNAP incentive programs at farmer’s markets are bridging gaps in food access and sovereignty for thousands of individuals across the country, but what are the far reaching implications of these programs in terms of a sustainable food system, especially in an uncertain economic landscape? Using the findings of a quantitative, interdisciplinary and community inclusive research project of the Community Supported Farmers’ Markets (CSFM), a SNAP incentive program organized by Food and Medicine in Brewer, Maine, this study will explore the role of solidarity between SNAP participants and market vendors as a means of not only gauging the sort of relationship that is being formed between the program’s stakeholders, but also of exploring the implications solidarity has for building community around local food. Is the incentive purely economic, or is this program fostering community ties that can persist through fiscal changes and allow for the collaborative progression of the local food economy? Drawing from a rich literature of the solidarity economy and social capital, this study demonstrates the important role social relationships can play in supporting SNAP incentive programs as the survey results indicate social capital exists between the market vendors and CSFM participants. Though complications with these findings will be discussed, the data highlight important findings that illustrate the importance of market and nonmarket factors that influence and construct people’s food choices

A compendium of Technologies, Practices, Services and Policies for Scaling Climate Smart Agriculture in Odisha (India)

Stakeholders engaged in agricultural research for development (AR4D) are increasingly tackling risks associated with climate change in smallholder systems. Accordingly, development and scaling of climate-smart agriculture (CSA) are one of the priorities for all the organizations, departments and ministries associated with the farm sector. Having a ‘one-stop-shop’ compiled in the format of a compendium for CSA technologies, practices and services would therefore serve a guide for all the stakeholders for scaling CSA in smallholder systems. Bringing out a Compendium on Climate-Smart Agriculture (CSA) for Odisha, India was therefore thought of during the workshop on ‘Scaling Climate-Smart Agriculture in Odisha’ organized at Bhubaneswar on 18-19 July 2018 by International Rice Research Institute (IRRI) in collaboration with Department of Agriculture (DoA) & Farmers’ Empowerment, Indian Council of Agricultural Research-National Rice Research Institute (ICAR-NRRI), Orissa University of Agriculture and Technology (OUAT) & International Maize and Wheat Improvement Center (CIMMYT) under the aegis of CGIAR Research program on Climate Change, Agriculture and Food Security (CCAFS). The main objectives to bring forth this compendium are: to argue the case for agriculture policies and practices that are climate-smart; to raise awareness of what can be done to make agriculture policies and practices climatesmart; and to provide practical guidance and recommendations that are well referenced and, wherever possible, based on lessons learned from practical action. CSA programmes are unlikely to be effective unless their implementation is supported by sound policies and institutions. It is therefore important to enhance institutional capacities in order to implement and replicate CSA strategies. Institutions are vital to agricultural development as well as the realisation of resilient livelihoods.They are not only a tool for farmers and decision-makers, but are also the main conduit through which CSA practices can be scaled up and sustained. The focus in this compendium is on CSA and it’s relevant aspects, i.e., (i) technologies and practices, (ii) services, (iii) technology targeting, (iv) business models, (v) capacity building, and (vi) policies. The approaches and tools available in the compendium span from face-to-face technicianfarmer dialogues to more structured exchanges of online and offline e-learning. In every scenario it is clear that tailoring to local expectations and needs is key. In particular, the voice of farmers is essential to be captured as they are the key actors to promote sustainable agriculture, and their issues need to be prioritized. CSA practices are expected to sustainably increase productivity and resilience (adaptation), reduce Greenhouse Gases (mitigation), and enhance achievement of national food security along with sustainable development goals. CSA is widely expected to contribute towards achieving these objectives and enhance climate change adaptation. CSA practices have to be included in State’s Climate Policy as a priority intervention as the state steps up efforts to tackle climate change. Furthermore, emphasis shoud be laid on CSA training for a sustainable mode to enhance CSA adoption in the state hence the relevance of developing this document. The adaption of climate related knowledge, technologies and practices to local conditions, promoting joint learning by farmers, researchers, rural advisor and widely disseminating CSA practices, is critical. This compendium brings together a collection of experiences from different stakeholders with background of agricultural extension and rural advisory services in supporting CSA. The contributions are not intended to be state-of-the art academic articles but thought and discussion pieces of work in progress. The compendium itself is a ‘living‘ document which is intended to be revised periodically

Big data for monitoring educational systems

This report considers “how advances in big data are likely to transform the context and methodology of monitoring educational systems within a long-term perspective (10-30 years) and impact the evidence based policy development in the sector”, big data are “large amounts of different types of data produced with high velocity from a high number of various types of sources.” Five independent experts were commissioned by Ecorys, responding to themes of: students' privacy, educational equity and efficiency, student tracking, assessment and skills. The experts were asked to consider the “macro perspective on governance on educational systems at all levels from primary, secondary education and tertiary – the latter covering all aspects of tertiary from further, to higher, and to VET”, prioritising primary and secondary levels of education

From Fayols Mechanistic To Todays Organic Functions Of Management

This paper reviews Fayols original five managerial functions, demonstrates that they are still being taught in todays management courses, and offers a new set of organic management functions more applicable to todays turbulent business environment