Results 171 to 180 of about 548,955 (324)
Formalising the safety of Java, the Java Virtual Machine and Java Card
, 2001 We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smart cards. The conclusion is that while a lot of good work has been done, a more concerted effort is needed to build a coherent set of machine readable formal models of the whole of Java and its ...
Hartel, Pieter Hendrik, Moreau, L.A.V.
openaire +3 more sources
Guaranteeing Correctness Properties of a Java Card Applet
, 2005 Lars‐Åke Fredlund
openalex +1 more source
Sociologia Ruralis, Volume 66, Issue 1, January 2026.ABSTRACT This article examines how agricultural rituals can serve as methodological tools to uncover migrant workers’ voices and facilitate dialogue in agro‐industrial regions under pressure. On the basis of 2 years of ethnographic fieldwork in Haspengouw, Belgium, and Westland, the Netherlands, the research combined participant observation in ...
Carolien Lubberhuizen
wiley +1 more source
Application of an ontology for model cards to generate computable artifacts for linking machine learning information from biomedical research. [PDF]
Proc Int World Wide Web Conf, 2023 Amith MT, Cui L, Roberts K, Tao C.
europepmc +1 more source
Take Me Home, Country Roads: Historical Diasporas and Contemporary FDI Patterns
The World Economy, Volume 49, Issue 1, Page 94-117, January 2026.ABSTRACT We examine whether historical diasporas shape current foreign direct investment (FDI) flows, using Italian data from the ‘age of mass migration’ (1876–1925). We find that Italian regions with larger diasporas at the turn of the twentieth century maintain persistent economic ties with their historical destinations.
Luigi Benfratello +3 more
wiley +1 more source
Commodity risk assessment of Petunia spp. and Calibrachoa spp. unrooted cuttings from Uganda
EFSA Journal, Volume 24, Issue 1, January 2026.Abstract The European Commission requested the EFSA Panel on Plant Health to evaluate the likelihood of pest freedom at entry in the EU, including both regulated and non‐regulated pests, potentially associated with unrooted cuttings of the genera Petunia and Calibrachoa produced under physical isolation in Uganda.
EFSA Panel on Plant Health (PLH) +34 more
wiley +1 more source
Chemistry by Mobile Phone (or how to justify more time at the bar)
, 2005 By combining automatic environment monitoring with Java smartphones a system has been produced for the real-time monitoring of experiments whilst away from the lab.
Bedi, Bharat V. +4 more
core
Worst-case resource-usage analysis of java card classic editions application bytecode
, 2016 Luke Dominic Mark Urquhart
openalex +2 more sources
Extendiendo las capacidades de procesamiento y memoria de una tarjeta Java Card [PDF]
, 2015 Susana María Ramírez Brey +1 more
openalex +1 more source
Correctness of Java Card Tokenisation
, 1999 We present a formalisation of the bytecode optimisation of Sun's Java Card language from the class file to CAP file format as a set of constraints between the two formats and define and prove its correctness. Java Card bytecode is formalised as an abstract operational semantics, which can then be instantiated into the two formats.
openaire +1 more source