The effects of experience in loyalty card adoption on the importance of the attributes of loyalty schemes

The popularity of loyalty programs worldwide shows that this is one of the most efficient marketing tools in highly competitive markets to retain customers. The saturation of loyalty schemes themselves can lead to a fierce competition between firms to gain wider penetration for their cards. The experience of the customers regarding adoption of loyalty programs can affect their attitude towards the different attributes of the programs. We found that more experienced customers evaluate the importance of the soft attributes of the loyalty schemes higher.

Are Consumers Ready for Mobile Payment? An Examination of Consumer Acceptance of Mobile Payment Technology in Restaurant Industry

As an emerging payment method, mobile payment technology is perceived to be a secure and effective substitute of traditional debit/credit card payment. Although several reports and scholars claimed that mobile payment technology would become a major future payment method, consumers rather caught on this trend slowly, and little is known about key determinants of consumers’ acceptance of mobile payment. To close that gap, the current study extended the classic Technology Acceptance Model by adding four additional predictors that are relevant to hospitality industry. The study results suggested that compatibility with lifestyle was the strongest predictor of consumers’ intention to adopt mobile payment technology in restaurants, followed by perceived usefulness, subjective norm, security, and previous experience with mobile payment. Important theoretical and practical implications were provided based on our findings.

Tarot card reader

General note: Title and date provided by Bettye Lane.

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.

The Design and Implementation of a SD Card File System

SD card (Secure Digital Memory Card) is widely used in portable storage medium. Currently, latest researches on SD card, are mainly SD card controller based on FPGA (Field Programmable Gate Array). Most of them are relying on API interface (Application Programming Interface), AHB bus (Advanced High performance Bus), etc. They are dedicated to the realization of ultra high speed communication between SD card and upper systems. Studies about SD card controller, really play a vital role in the field of high speed cameras and other sub-areas of expertise. This design of FPGA-based file systems and SD2.0 IP (Intellectual Property core) does not only exhibit a nice transmission rate, but also achieve the systematic management of files, while retaining a strong portability and practicality. The file system design and implementation on a SD card covers the main three IP innovation points. First, the combination and integration of file system and SD card controller, makes the overall system highly integrated and practical. The popular SD2.0 protocol is implemented for communication channels. Pure digital logic design based on VHDL (Very-High-Speed Integrated Circuit Hardware Description Language), integrates the SD card controller in hardware layer and the FAT32 file system for the entire system. Secondly, the document management system mechanism makes document processing more convenient and easy. Especially for small files in batch processing, it can ease the pressure of upper system to frequently access and process them, thereby enhancing the overall efficiency of systems. Finally, digital design ensures the superior performance. For transmission security, CRC (Cyclic Redundancy Check) algorithm is for data transmission protection. Design of each module is platform-independent of macro cells, and keeps a better portability. Custom integrated instructions and interfaces may facilitate easily to use. Finally, the actual test went through multi-platform method, Xilinx and Altera FPGA developing platforms. The timing simulation and debugging of each module was covered. Finally, Test results show that the designed FPGA-based file system IP on SD card can support SD card, TF card and Micro SD with 2.0 protocols, and the successful implementation of systematic management for stored files, and supports SD bus mode. Data read and write rates in Kingston class10 card is approximately 24.27MB/s and 16.94MB/s.

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.

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.

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.