Results 41 to 50 of about 81,045 (237)

Remote attestation mechanism for embedded devices based on physical unclonable functions [PDF]

, 2013
Remote attestation mechanisms are well studied in the high-end computing environments; however, the same is not true for embedded devices-especially for smart cards.
Akram, Raja Naeem, Markantonakis, Konstantinos, Mayes, Keith   +2 more
core   +2 more sources

Pesticide MRLs as Trade Barriers: Evidence From Vietnam's Coffee and Rice Exporters

Agribusiness, EarlyView.
ABSTRACT As tariffs have declined globally through bilateral and regional trade agreements, food safety standards have emerged as significant determinants of agricultural trade flows. This study examines the impact of maximum residue limits (MRLs) for five pesticides—Azoxystrobin, Chlorpyrifos, Chlorantraniliprole, Clothianidin, and Cyhalothrin—on ...
Nhat Mai Nguyen, Hoa‐Thi‐Minh Nguyen, Kaliappa Kalirajan   +2 more
wiley   +1 more source

Linking Language Proficiency to Teaching Competence: A Case Study of EFL Teachers in Indonesia

Elsya, 2021
In Indonesia, English teachers and lecturers have to pass specific number of TOEFL score as a passing card to carry out teaching activity. Yet, there is no further observation from researchers or government about how much the English teachers ...
Dwita Laksmita Rachmawati, Oikurema Purwati   +1 more
doaj   +1 more source

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., Aihara, H., Arinstein, K., Aulchenko, V., Aushev, T., Aziz, T., Bakich, A.M., Balagura, V., Barberio, E., Bay, A., Belous, K., Bhardwaj, V., Bischofberger, M., Bondar, A., Bozek, A., Bračko, M., Browder, T.E., Chang, M.-C., Chang, P., Chao, Y., Chen, A., Chen, P., Cheon, B.G., Cho, I.-S., Choi, Y., Dalseno, J., Das, A., Doležal, Z., Drutskoy, A., Drásal, Z., Eidelman, S., Gabyshev, N., Goldenzweig, P., Golob, B., Ha, H., Haba, J., Han, B.-Y., Hayasaka, K., Hayashii, H., Hazumi, M., Horii, Y., Hoshi, Y., Hou, W.-S., Hsiung, Y.B., Hyun, H.J., Iijima, T., Inami, K., Itoh, R., Iwabuchi, M., Iwasaki, M., Iwasaki, Y., Joshi, N.J., Julius, T., Kang, J.H., Kawasaki, T., Kim, H.J., Kim, H.O., Kim, J.H., Kim, S.K., Kim, Y.I., Kim, Y.J., Kinoshita, K., Ko, B.R., Kodyš, P., Kreps, M., Križn, P., Krokovny, P., Kuhr, T., Kuzmin, A., Kwon, Y.-J., Kyeong, S.-H., Lee, M.J., Lee, S.-H., Li, J., Liu, C., Liu, Y., Liventsev, D., Louvot, R., Matyja, A., McOnie, S., Miyabayashi, K., Miyazaki, Y., Mizuk, R., Mori, T., Nakano, E., Nakao, M., Natkaniec, Z., Neubauer, S., Nishida, S., Nishimura, K., Nitoh, O., Ogawa, S., Ohshima, T., Okuno, S., Olsen, S.L., Pakhlova, G., Park, C.W., Park, H., Park, H.K., Petrič, M., Piilonen, L.E., Poluektov, A., Ryu, S., Sahoo, H., Sakai, K., Sakai, Y., Schneider, O., Schwanda, C., Schwartz, A.J., Senyo, K., Sevior, M.E., Shapkin, M., Shen, C.P., Shiu, J.-G., Shwartz, B., Singh, J.B., Smerkol, P., Sokolov, A., Solovieva, E., Stanič, S., Starič, M., Stypula, J., Sumiyoshi, T., Taylor, G.N., Teramoto, Y., Trabelsi, K., Uehara, S., Unno, Y., Uno, S., Usov, Y., Varner, G., Varvell, K.E., Vervink, K., Wang, C.H., Wang, M.-Z., Wang, P., Wang, X.L., Watanabe, Y., Wedd, R., Wiechczynski, J., Won, E., Yabsley, B.D., Yamashita, Y., Yamauchi, M., Zhang, C.C., Zhang, Z.P., Zhilich, V., Zivko, T., Zupanc, A., Zyukova, O.   +149 more
core   +1 more source

Formally based semi-automatic implementation of an open security protocol [PDF]

, 2012
International audienceThis paper presents an experiment in which an implementation of the client side of the SSH Transport Layer Protocol (SSH-TLP) was semi-automatically derived according to a model-driven development paradigm that leverages formal ...
Alfredo Pironti, Barthe, Basin, Bengtson, Bhargavan, Bhargavan, Bhargavan, Bhargavan, Bhargavan, Bhargavan, Blanchet, Blanchet, Blanchet, Blanchet, Davide Pozza, Dolev, Durante, Escobar, Grandy, Hubbers, Jeon, Jürjens, Jürjens, Kiyomoto, Lowe, Lowe, Marché, McDermott, Moebius, Mödersheim, O’Shea, Pironti, Pironti, Pironti, Pozza, Riccardo Sisto, Song, Tobler   +37 more
core   +3 more sources

What are the possibilities for promoting teacher resilience at the school level? Insights from the co‐development of a participatory approach in England

British Educational Research Journal, EarlyView.
Abstract Alongside the growing teacher supply crisis, there are widespread concerns about the mental health and well‐being of teachers, leading to a growing interest in the concept of teacher resilience. In this article, we investigate the possibilities for promoting teacher resilience at the school level using a novel participatory approach. We report
Steph Ainsworth, Carrie Adamson, Claire Agius, Jeremy Oldfield   +3 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, Mohtar Maso’ed, Zainal Abidin Bagir   +2 more
doaj   +1 more source

Beltway: Getting Around Garbage Collection Gridlock [PDF]

, 2002
We present the design and implementation of a new garbage collection framework that significantly generalizes existing copying collectors. The Beltway framework exploits and separates object age and incrementality.
B Moss, J Eliot, J Eliot B Moss, Kathryn S. McKinley, Richard Jones, Stephen M. Blackburn   +5 more
core   +5 more sources

Towards a Socially Inclusive Circular Economy: Evidence From Social Enterprises in Low‐ and Middle‐Income Countries

Business Strategy and the Environment, EarlyView.
ABSTRACT Circular economy (CE) and social entrepreneurship (SE) are increasingly recognised as critical pathways for sustainable development, yet CE research often underplays social inclusion, particularly in low‐ and middle‐income countries (LMICs).
Maria L. Granados, Adeyemi Adelekan
wiley   +1 more source

Testing a Java Card applet using the LIME Interface Test Bench : a case study [PDF]

, 2009
The LIME Interface Test Bench is a collection of tools that allow to compile programs in a way such that they monitor interface specifications at runtime in Java and C programs. Specifications can be made using the LIME specification language.
Kindermann, Roland
core