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
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
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
Web based system architecture for long pulse remote experimentation [PDF]
, 2010 Remote experimentation (RE) methods will be essential in next generation fusion devices. Requirements for long pulse RE will be: on-line data visualization, on-line data acquisition processes monitoring and on-line data acquisition systems interactions ...
Barrera +15 more
core +2 more sources
Chinese Photographers and Their Clientele in the Netherlands Indies, 1890-1940 [PDF]
, 2017 This article examines the position of Chinese photographers in the visual colonial landscape. The Chinese toekang potret were involved in both commissioned photographs and the production of commercial images, but the latter was less widespread.
Ouwehand, L. (Liesbeth)
core +2 more sources
Diyala Journal of Engineering Sciences, 2008 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
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
UTILIZAÇÃO DE JAVA CARD COMO PLATAFORMA PARA O DESENVOLVIMENTO DE APLICAÇÕES EM SMART CARD
Colloquium Exactarum, 2013 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
Perilaku Memilih Pemegang Kartu Tani pada Pemilihan Gubernur Jawa Tengah 2018 Kabupaten Semarang
JPPUMA: Jurnal Ilmu Pemerintahan dan Sosial Politik UMA (Journal of Governance and Political Social UMA), 2019 The benefits of the research to analyze the factors that influence the behavior of selecting farmers who hold farmers card in the Election Governor of Central Java 2018 in Semarang Regency. The research method is a quantitative research that is supported
Malisa Ladini, Yuwanto Yuwanto
doaj +1 more source
Automatic Enrollment System for Student Dormitory [PDF]
Kirkuk Journal of Science, 2018 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