Results 211 to 220 of about 548,955 (324)

JML- Based formal development of a Java card application for managing medical appointments

, 2009
Ricardo Miguel Soares Rodrigues
openalex   +1 more source

Hadoop in Banking: Event-Driven Performance Evaluation. [PDF]

ScientificWorldJournal
Panda M, Garnayak M, Ray M, Rath S, Mohanta A, Priyadarshini SBB.   +5 more
europepmc   +1 more source

BacExplorer: an integrated platform for <i>de novo</i> bacterial genome annotation. [PDF]

Bioinform Adv
Privitera GF, Cannata AA, Campanile F, Alaimo S, Bongiorno D, Pulvirenti A.   +5 more
europepmc   +1 more source

Multiple lower urinary tract calculi induced by foreign bodies insertion: A case report. [PDF]

Radiol Case Rep
Fatahajjad HH, Ompusunggu RA, Laksita TB, Soebadi MA.   +3 more
europepmc   +1 more source

Formalisation and Verification of Java Card Security Properties in Dynamic Logic [PDF]

, 2005
Wojciech Mostowski
openalex   +1 more source

Metagenomic identification of disease-causing <i>Salmonella enterica</i> serovars and antimicrobial resistance genes from paediatric faecal samples. [PDF]

Microb Genom
Dziegiel AH, Duong VT, Bloomfield SJ, Thomson NR, Maskell DJ, Wain J, Janecko N, Baker S, Mather AE.   +8 more
europepmc   +1 more source

De la sécurité des plateformes Java Card face aux attaques matérielles

, 2012
Guillaume Barbu
openalex   +1 more source

Can Indonesia achieve universal health coverage? Organisational and financing challenges in implementing the national health insurance system.

SSM Health Syst
Susilo D, Wulandari LPL, Sukmayeti E, Asante A, Jan S, Thabrany H, Tangcharoensathien V, Wiseman V, Liverani M.   +8 more
europepmc   +1 more source

Testing the Java Card Applet Firewall

, 2007
Wojciech Mostowski, Erik Poll
openalex   +1 more source

Desa SIAGA, a community participation model for maternal and neonatal health in Indonesia, barriers and facilitators to implementation: findings from a comparative case study design. [PDF]

BMC Pregnancy Childbirth
Yulian V, McGowan L, Stacey T.
europepmc   +1 more source