Results 111 to 120 of about 548,955 (324)

PhiAttack - Rewriting the Java Card Class Hierarchy

Smart Card Research and Advanced Application Conference, 2021
Jean Dubreuil, Guillaume Bouffard
semanticscholar   +1 more source

Multilevel Contracts for Trusted Components

, 2010
This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as component consistency, compatibility or correctness.
A. M. Zaremski, Andrea Bracciali, Antoine Beugnard, Antonio Brogi, Bertrand Meyer, Bertrand Meyer, C. Attiogbé, Carlos Canal, Christian Attiogbé, Clemens Szyperski, D.M. Yellin, E. Bruneton, Frantisek Plasil, Gwen Salaün, H. Schmidt, J-C. Fernandez, Javier Cámara, Jeff Magee, M.H. ter Beek, Manuel Mazzara, McNaughton R., Mohamed Messabihi, Mohamed Messabihi, Nikola Milanovic, P. Attie, P. Collet, Pascal André, Pascal André, Pascal André, Pascal André, Pascal André, Ralf Reussner, Robert Allen, Zuohua Ding   +33 more
core   +2 more sources

What Museum Guests Think About When They Think About Belonging

Curator: The Museum Journal, EarlyView.
ABSTRACT A sense of belonging is one of the most fundamental human needs and is threaded through all aspects of a museum guest's experience. Using a previously validated model and survey of belonging in museums, we surveyed 1780 guests leaving eight different museums and similar cultural institutions across the United States.
C. Aaron Price, L. Applebaum, K. Sepp, P. Yee   +3 more
wiley   +1 more source

A Secure Mobile-based Authentication System [PDF]

, 2009
Financial information is extremely sensitive. Hence, electronic banking must provide a robust system to authenticate its customers and let them access their data remotely. On the other hand, such system must be usable, affordable, and portable.We propose
Rifà Pous, Helena
core  

Organising Nurse Work Environments: (Reshaped) Roles of Nursing Teams—A Qualitative Descriptive Study

Journal of Advanced Nursing, EarlyView.
ABSTRACT Aim To explore how nursing teams (co)organise their work environment by going beyond caregiving. Design A descriptive qualitative study with a phenomenological approach. Methods Semi‐structured group interviews were conducted in 2022 with nurses and managers from 18 nursing teams in a general hospital located in the Netherlands.
Janet Bloemhof, Jeannette Knol, Marjon Van Rijn, Bianca M. Buurman, Mirko Noordegraaf   +4 more
wiley   +1 more source

Referral Healthcare Services and Efficiency of Indonesian Health Insurance on Patient Satisfaction and Life Quality

Jurnal Jaminan Kesehatan Nasional
The UN's Sustainable Development Goals (SDGs) target Universal Health Coverage (UHC) to ensure equitable access to health without financial burden. The National Health Insurance Program-Healthy Indonesia Card (JKN-KIS) by BPJS Kesehatan seeks to meet the
Muhammad Alfarizi, Rafialdo Arifian, Lissa Rosdiana Noer   +2 more
doaj   +1 more source

Recovery From Anorexia Nervosa: A Concept Analysis

Journal of Advanced Nursing, EarlyView.
ABSTRACT Aim Despite decades of research, we still know surprisingly little about how best to bring about lasting recovery from anorexia nervosa (AN). Furthermore, there is a lack of consensus in the research and treatment communities about what constitutes recovery from AN, or whether “recovery” is even an appropriate term to use in this context.
Sarah Ramsay, Kendra Allison
wiley   +1 more source

Specifying Java Card API in OCL

Electronic Notes in Theoretical Computer Science, 2004
We discuss the development of an OCL specification for the Java Card API. The main purpose of this specification is to support and aid the verification of Java Card programs in the KeY system. The main goal of the KeY system is to integrate object oriented design and formal methods. The already existing specification written in JML (Java Modelling
Larsson, Daniel, Mostowski, Wojciech
openaire   +1 more source

Things at Work: How Things Contribute to Performing Work

Journal of Management Studies, EarlyView.
Abstract A crucial question for organizations is what constitutes work performance. While the importance of human competence and motivation to work performance has been established, less well understood is how ‘things’ – such as algorithms, tools, instruments, and raw materials – contribute to work performance.
Jörgen Sandberg, Gloria Dall'Alba, Anna Stephens   +2 more
wiley   +1 more source

Creation of MOPOKAR (Card Monopoly) to Enhance Learning Skills in Comparing the Social Conditions of Indonesia and Neighboring Countries in Grade 6

Scaffolding: Jurnal Pendidikan Islam dan Multikulturalisme
This research aims to create MPOKAR-based (Monopoly Card) learning media and determine its effectiveness in improving students' learning skills.
Cahya Sukma Dirgantara, Nurdinah Hanifah, Dadan Nugraha   +2 more
doaj   +1 more source