Results 21 to 30 of about 2,954 (225)
On-Card Bytecode Verification for Java Card [PDF]
This paper presents a novel approach to the problem of bytecode verification for Java Card applets. Owing to its low memory requirements, our verification algorithm is the first that can be embedded on a smart card, thus increasing tremendously the security of post-issuance downloading of applets on Java Cards.
openaire +2 more sources
Abstrak- Penelitian ini membahas tentang aplikasi portal akademik berbasis mobile, studi kasus pada D3 Manajemen Informatika Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Riau.
Sukamto Sukamto +3 more
doaj +3 more sources
A series of small-scale atmospheric datasets observed in south of Java, Pangandaraan Bay, Indonesia
This paper presents a collection of small-scale atmospheric datasets obtained from a PCE-FWS 20 N weather station in Pangandaraan, a region situated in the southern part of Java Island.
Noir P. Purba +6 more
doaj +1 more source
Reasoning about Card Tears and Transactions in Java Card [PDF]
The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPROM and RAM, respectively). Because power to a smartcard can suddenly be interrupted by a so-called card tear, by someone removing the smartcard from the reader, Java Card ...
Hubbers, E.M.G.M., Poll, E.
openaire +2 more sources
CardS4: modal theorem proving on Java smart cards
We describe a successful implementation of a theorem prover for modal logic S4 that runs on a Java smart card with only 512 KBytes of RAM and 32 KBytes of EEPROM.
Rajeev Prabhakar Goré +1 more
doaj +1 more source
Implementation of Sort Card Method to Improve Motivation and Learning Outcomes of MAN Batu Students
This classroom action research uses the Kemmis and Mc Taggart model to determine the effect of the sort card method in learning History of Islamic Culture. The subjects of this study were 34 students of grade XI IPS 2 MAN Batu, East Java. The instruments
Rasmuin Rasmuin
doaj +1 more source
Authentication of a person is an important task in many areas of day-to-day life including electronic commerce, system security and access control. We present Kerberos a client\server authentication protocol which can perform a secure communication over
Hussain Mahdi
doaj +1 more source
The purpose of this research is to know respondent assessment on brand equity cellular card Mentari The research uses descriptive survey and explanatory survey method.
Rahma Wahdiniwaty
doaj +1 more source
Automatic Enrollment System for Student Dormitory [PDF]
The Directorate of Dormitories at the University of Kirkuk offers full accommodated rooms to the male and female students. However, the directorate registers and assigns the accommodations manually.
Kamal Hasan Jihad
doaj +1 more source
UTILIZAÇÃO DE JAVA CARD COMO PLATAFORMA PARA O DESENVOLVIMENTO DE APLICAÇÕES EM SMART CARD
Com o crescimento da tecnologia Java Card e o aumento do uso de Smart Cards no mercado, aumentaram-se a demanda pelo desenvolvimento de aplicações que são executadas nos cartões.
Lucas Plis Dolce +2 more
doaj +2 more sources

