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.

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.

Essays in Personal Transportation Demand and Consumer Finance

This dissertation is composed of three essays covering two areas of interest. The first topic is personal transportation demand with a focus on price and fuel efficiency elasticities of mileage demand, challenging assumptions common in the rebound effect literature. The second topic is consumer finance with a focus on small loans. The first chapter creates separate variables for fuel prices during periods of increasing and decreasing prices as well as an observed fuel economy measure to empirically test the equivalence of these elasticities. Using a panel from Germany from 1997 to 2009 I find a fuel economy elasticity of mileage of 53.3%, which is significantly different from the gas price elasticity of mileage during periods of decreasing gas prices, 4.8%. I reject the null hypothesis or price symmetry, with the elasticity of mileage during period of increasing gas prices ranging from 26.2% and 28.9%. The second chapter explores the potential for the rebound effect to vary with income. Panel data from U.S. households from 1997 to 2003 is used to estimate the rebound effect in a median regression. The estimated rebound effect independent of income ranges from 17.8% to 23.6%. An interaction of income and fuel economy is negative and significant, indicating that the rebound effect may be much higher for low income individuals and decreases with income; the rebound effect for low income households ranged from 80.3% to 105.0%, indicating that such households may increase gasoline consumption given an improvement in fuel economy. The final chapter documents the costs of credit instruments found in major mail order catalogs throughout the 20th century. This study constructs a new dataset and finds that the cost of credit increased and became stickier as mail order retailers switched from an installment-style closed-end loan to a revolving-style credit card. This study argues that revolving credit's ability to decrease salience of credit costs in the price of goods is the best explanation for rate stickiness in the mail order industry as well as for the preference of revolving credit among retailers.

Results from New Zealand's 2014 report card on physical activity for children and youth

BACKGROUND: This brief report provides grades for the 2014 New Zealand Report Card on Physical Activity for Children and Youth. The Report Card presents a review of current evidence across 9 key indicators, including physical activity (PA), organized sport and free play, sedentary behavior, and community and government initiatives across New Zealand. METHODS: Nationally representative survey data were collated by researchers at the University of Auckland, New Zealand, between June and December 2013. The grade for each indicator is based on the percentage of children and youth meeting a defined benchmark: A is 81%-100%; B is 61%-80%; C is 41%-60%, D is 21%-40%; F is 0%-20%; INC is incomplete data. RESULTS: Overall PA received a score of B, as did Organized Sport Participation and Active Play. PA participation in School Environment scored slightly less with a score of B-. Sedentary Behaviors, Family and Peers, and Community and Built Environment scored a grade of C. Active transportation received a score of C-. An inconclusive grade was given for the Government indicator due to a lack of established international criteria for assessment. CONCLUSIONS: PA participation in New Zealand is satisfactory, but could improve. However, sedentary behavior is high. Of particular concern is the age-related decline in PA participation, particularly among adolescent females, and the increase in sedentary behavior.

South Carolina Department of Juvenile Justice report card for 2004

The South Carolina Department of Juvenile Justice annually publishes a report card that provides an overview of the juvenile justice system and statistics on caseloads, facility population, and agency programs.

South Carolina Department of Juvenile Justice report card for 2005

The South Carolina Department of Juvenile Justice annually publishes a report card that provides an overview of the juvenile justice system and statistics on caseloads, facility population, and agency programs.

South Carolina Department of Juvenile Justice report card for 2006

The South Carolina Department of Juvenile Justice annually publishes a report card that provides an overview of the juvenile justice system and statistics on caseloads, facility population, and agency programs.

South Carolina Department of Juvenile Justice report card for 2007

The South Carolina Department of Juvenile Justice annually publishes a report card that provides an overview of the juvenile justice system and statistics on caseloads, facility population, and agency programs.

South Carolina Department of Juvenile Justice report card for 2008

The South Carolina Department of Juvenile Justice annually publishes a report card that provides an overview of the juvenile justice system and statistics on caseloads, facility population, and agency programs.

South Carolina Department of Juvenile Justice report card for 2009

The South Carolina Department of Juvenile Justice annually publishes a report card that provides an overview of the juvenile justice system and statistics on caseloads, facility population, and agency programs.

South Carolina Department of Juvenile Justice report card for 2010

The South Carolina Department of Juvenile Justice annually publishes a report card that provides an overview of the juvenile justice system and statistics on caseloads, facility population, and agency programs.

South Carolina Department of Juvenile Justice report card for 2011

The South Carolina Department of Juvenile Justice annually publishes a report card that provides an overview of the juvenile justice system and statistics on caseloads, facility population, and agency programs.

South Carolina Department of Juvenile Justice report card for 2012

The South Carolina Department of Juvenile Justice annually publishes a report card that provides an overview of the juvenile justice system and statistics on caseloads, facility population, and agency programs.

South Carolina Department of Juvenile Justice report card for 2013

The South Carolina Department of Juvenile Justice annually publishes a report card that provides an overview of the juvenile justice system and statistics on caseloads, facility population, and agency programs.