Results 21 to 30 of about 80,615 (252)
Reasoning about Card Tears and Transactions in Java Card [PDF]
, 2004 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
Procedure-modular specification and verification of temporal safety properties [PDF]
, 2015 This paper describes ProMoVer, a tool for fully automated procedure-modular verification of Java programs equipped with method-local and global assertions that specify safety properties of sequences of method invocations.
Gurov, Dilian +2 more
core +3 more sources
Java Card Approach to Emulate The Indonesian National Electronic ID Smart Cards
Scientific Journal of Informatics, 2018 This paper presents a successful effort in emulating the Indonesian national electronic ID smart cards using Java Card. The aim is to provide theopportunity for other smart card products to contribute in the national electronic ID program. The life cycle
Dwidharma Priyasta +3 more
doaj +1 more source
A protocol for programmable smart cards [PDF]
, 2003 This paper presents an open protocol for interoperability across multi-vendor programmable smart cards. It allows exposition of on-card storage and cryptographic services to host applications in a unified, card-independent way.
Corcoran, David +2 more
core +1 more source
Digital Zone: Jurnal Teknologi Informasi dan Komunikasi, 2017 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
Data in Brief, 2023 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
CardS4: modal theorem proving on Java smart cards
Journal of Telecommunications and Information Technology, 2002 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
On-Card Bytecode Verification for Java Card [PDF]
, 2001 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
Description of Malaria Card Utilize as Effort to Control of Malaria Vivax Theraphy (Case Study in Wanadadi I and Banjarmangu I Public Health Center, Banjarnegara District) [PDF]
, 2014 Banjarnegara district is a malaria endemic areas in Central Java Province. Therapy role to prevent malaria transmission.Malaria card is one of instrument for monitoring the implementation of therapy follow up.
Kesuma, A. P. (Agung) +1 more
core +2 more sources
Implementation of Sort Card Method to Improve Motivation and Learning Outcomes of MAN Batu Students
Fitrah: Jurnal Kajian Ilmu-Ilmu Keislaman, 2020 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