Results 61 to 70 of about 1,014 (107)

Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs

, 2012
We present an approach to program reasoning which inserts between a program and its verification conditions an additional layer, the denotation of the program expressed in a declarative form. The program is first translated into its denotation from which
Schreiner, Wolfgang
core   +4 more sources

PENENTUAN BIDANG PEKERJAAN BERDASARKAN EMERGENETICS DENGAN MENGGUNAKAN METODE CASE BASED REASONING DAN ALGORITMA NEAREST NEIGHBOUR [PDF]

Sistem pakar merupakan sistem yang mempekerjakan pengetahuan manusia yang ditangkap komputer untuk memecahkan suatu masalah yang biasanya membutuhkan keahlian manusia.
Juliani, Irene, Putri, Tintin Ardi
core  

Efficient Region-Based Memory Management for Resource-limited Real-Time Embedded Systems. [PDF]

, 2006
This paper presents a simple and efficient static analysis algorithm, combined with a region allocation policy for real-time embedded Java applications. The goal of this work is to provide a static analysis mechanism efficient enough to be integrated in an ...
Nakhli, Chaker, Rippert, Christophe, Salagnac, Guillaume, Yovine, Sergio   +3 more
core   +2 more sources

MobiPag: integrated mobile payment, ticketing and couponing solution based on NFC. [PDF]

Sensors (Basel), 2014
Rodrigues H, José R, Coelho A, Melro A, Ferreira MC, Falcão e Cunha J, Monteiro MP, Ribeiro C.   +7 more
europepmc   +1 more source

Graph Based Reduction of Program Verification Conditions [PDF]

, 2008
Increasing the automaticity of proofs in deductive verification of C programs is a challenging task. When applied to industrial C programs known heuristics to generate simpler verification conditions are not efficient enough.
Couchot, Jean-François, Giorgetti, Alain, Stouls, Nicolas   +2 more
core   +7 more sources

Sistema de gestión sanitaria mediante tarjetas Javacard

, 2013
El objetivo de este proyecto es crear un nuevo sistema de gestión para la Seguridad Social, basado en tarjetas inteligentes. Los componentes a desarrollar son un applet basado en Java Card, una herramienta capaz de gestionar y actualizar la información almacenada por dicho applet.
openaire   +2 more sources

A Java-based electronic healthcare record software for beta-thalassaemia.

J Med Internet Res, 2001
Deftereos S, Lambrinoudakis C, Andriopoulos P, Farmakis D, Aessopos A.   +4 more
europepmc   +1 more source

Formal specification of the JavaCard API in JML: the APDU class

, 2000
14 p.
Poll, E., Berg, J.A.G.M. van den, Jacobs, B.P.F.   +2 more
openaire   +1 more source