A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods
, 2006 Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code.
Adachi, I. +149 more
core +1 more source
Formal Verification of Security Protocol Implementations: A Survey [PDF]
, 2014 Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages.
A Bauer +27 more
core +2 more sources
An integrated development environment for Java Card [PDF]
, 2001 This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the Java Card Runtime Environment (JCRE), and the Java Card APIs.
Attali, I. +4 more
core
Eggshell‐Based Biochar for Superior Adsorption of Crystal Violet Dye and Fluoride From Wastewater
Asia-Pacific Journal of Chemical Engineering, EarlyView.ABSTRACT Present study investigates the efficiency of eggshell biochar as a low‐cost and ecofriendly adsorbent for the simultaneous removal of fluoride ions and crystal violet (CV) dye from wastewater. The eggshell waste was pyrolyzed to produce biochar, which was thoroughly characterized and subsequently employed for contaminant adsorption.
T. Mounika +3 more
wiley +1 more source
Geophysical Monograph Series, Page 117-131., 2021 Exploring the links between Large Igneous Provinces and dramatic environmental impact
An emerging consensus suggests that Large Igneous Provinces (LIPs) and Silicic LIPs (SLIPs) are a significant driver of dramatic global environmental and biological changes, including mass extinctions.
Benjamin Black +4 more
wiley +1 more source
IDENTITAS JEMAAH AHMADIYAH INDONESIA DALAM KONTEKS MULTIKULTURAL
Humaniora, 2014 Jemaah Ahmadiyah Indonesia (JAI) is known as a group on behalf of themselves as part of Islam adherents, however, their acceptance as part of Islam become an issue led to the creation of conflict.
Flavius Floris Andries +2 more
doaj +1 more source
Mapping Instrument Preferences for Deforestation Policies Based on EU Public Consultation Data
Environmental Policy and Governance, EarlyView.ABSTRACT Policy makers can choose among many alternative policy instruments to reduce the impact of EU commodity imports on forests and related biodiversity loss in the world. Changes in the instrument mix affect a wide range of stakeholder groups with varying strategic interests and corresponding policy preferences.
Daniel Braun, Dennis Abel, Jan Börner
wiley +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
Chatting Towards Inclusivity: A Digital Approach to Inclusion Action Plans and Leader Development
Human Resource Management, EarlyView.ABSTRACT Inclusion is a cornerstone of success for organizations and society, yet inclusion is not guaranteed. Building on inclusive leadership research and relational models theory, we argue that inclusion cannot manifest without systematic effort and planning by leaders.
Vindhya Singh +4 more
wiley +1 more source
Household Expenditure for Java in Health Costs Compared to The Island Java
Jurnal Kesehatan Masyarakat Andalas, 2017 The Health funding is a key element in the health system in various countries. This study aims to determine the cost of household expenditure on health in Indonesia.
Wira Iqbal +2 more
doaj +1 more source