Correctness of Java card tokenisation

La filiere crevetticole de Java Est Mise en evidence des dysfonctionnements

PT Indonusa Royal Seafood, Surabaya (Indonesia)
Schillinger, Catherine
Bosser, Pascal
Association pour le Developpement de l'Aquaculture (ADA), 33 - Saint-Andre-de-Cubzac (France)
Ecole Superieure d'Agriculture (ESA), 49 - Angers (France)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 22543, issue : a.1994 n.40 / ...

Security and dynamic class loading in Java : a formalisation

Jensen, T.
Le Metayer, D.
Thorn, T.
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeSIGLEAvailable from INIST (FR), Document...

Programming language specifications and environments

Bertot, Y.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet CROAPSIGLEAvailable from INIST (FR), Document...

MODERES Java : architecture and core packages

Festor, Olivier
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

Theme 1 - Reseaux et systemes. Projet RESEDASSIGLEAvailable from INIST (FR), Document Supply Service...

Java fair threads

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 1 - Reseaux et systemes - Projet MimosaSIGLEAvailable from INIST (FR), Document Supply Service...

JavaPod Une plate-forme a composants adaptable et extensible

Bruneton, Eric
Riveill, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2000

Theme 1 - Reseaux et systemes - Projet SiracAvailable from INIST (FR), Document Supply Service, unde...

Towards automatic specialization of Java programs

Ulrik Pagh Schultz
Lawall, Julia L.
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet COMPOSESIGLEAvailable from INIST (FR), Documen...

Efficient incremental checkpointing of Java programs

Lawall, Julia L.
Muller, Gilles
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet COMPOSESIGLEAvailable from INIST (FR), Docume...

Generation of distributed parallel Java programs

Launay, Pascale
Pazat, Jean-Louis
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes - Projet CAPSSIGLEAvailable from INIST (FR), Document Supply Service, ...

The treewidth of Java programs

Gustedt, Jens
Maehle, Ole A.
Telle, Jan Arne
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2001

Theme 1 - Reseaux et systemes - Projet ResedasSIGLEAvailable from INIST (FR), Document Supply Servic...

Management des competences collectives au travers du 'JavaCard forum' : un outil pour developper des innovations technologiques

Ecole Superieure de Commerce de Rouen, 76 - Mont Saint Aignan (FR
Rabasse, Francoise

Available from INIST (FR), Document Supply Service, under shelf-number : DO 8467 / INIST-CNRS - Inst...

An IP generation compliant Java"T"M virtual machine

Chelius, Guillaume
Fleury, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2000

Theme 1 - Reseaux et systemes - Projet RESEDASSIGLEAvailable from INIST (FR), Document Supply Servic...

Local checkpointing for embedded Java applications

Pauty, Julien
Cabillic, Gilbert
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 1 - Reseaux et systemes - Projet AcesSIGLEAvailable from INIST (FR), Document Supply Service, ...

Semantique naturelle : specifications et preuves

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CroapAvailable from INIST (FR), Document Suppl...

Well-typed logic programs are not wrong

Deransart, Pierre
Smaus, Jan Georg
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2000

Theme 2 - Genie logiciel et calcul symbolique - Projet contrainteSIGLEAvailable from INIST (FR), Doc...

La filiere crevetticole de Java Est Mise en evidence des dysfonctionnements

PT Indonusa Royal Seafood, Surabaya (Indonesia)
Schillinger, Catherine
Bosser, Pascal
Association pour le Developpement de l'Aquaculture (ADA), 33 - Saint-Andre-de-Cubzac (France)
Ecole Superieure d'Agriculture (ESA), 49 - Angers (France)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 22543, issue : a.1994 n.40 / ...

Security and dynamic class loading in Java : a formalisation

Jensen, T.
Le Metayer, D.
Thorn, T.
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeSIGLEAvailable from INIST (FR), Document...

Programming language specifications and environments

Bertot, Y.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet CROAPSIGLEAvailable from INIST (FR), Document...

MODERES Java : architecture and core packages

Festor, Olivier
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

Theme 1 - Reseaux et systemes. Projet RESEDASSIGLEAvailable from INIST (FR), Document Supply Service...

Java fair threads

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 1 - Reseaux et systemes - Projet MimosaSIGLEAvailable from INIST (FR), Document Supply Service...

JavaPod Une plate-forme a composants adaptable et extensible

Bruneton, Eric
Riveill, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2000

Theme 1 - Reseaux et systemes - Projet SiracAvailable from INIST (FR), Document Supply Service, unde...

Towards automatic specialization of Java programs

Ulrik Pagh Schultz
Lawall, Julia L.
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet COMPOSESIGLEAvailable from INIST (FR), Documen...

Efficient incremental checkpointing of Java programs

Lawall, Julia L.
Muller, Gilles
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet COMPOSESIGLEAvailable from INIST (FR), Docume...

Generation of distributed parallel Java programs

Launay, Pascale
Pazat, Jean-Louis
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes - Projet CAPSSIGLEAvailable from INIST (FR), Document Supply Service, ...

The treewidth of Java programs

Gustedt, Jens
Maehle, Ole A.
Telle, Jan Arne
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2001

Theme 1 - Reseaux et systemes - Projet ResedasSIGLEAvailable from INIST (FR), Document Supply Servic...

Management des competences collectives au travers du 'JavaCard forum' : un outil pour developper des innovations technologiques

Ecole Superieure de Commerce de Rouen, 76 - Mont Saint Aignan (FR
Rabasse, Francoise

Available from INIST (FR), Document Supply Service, under shelf-number : DO 8467 / INIST-CNRS - Inst...

An IP generation compliant Java"T"M virtual machine

Chelius, Guillaume
Fleury, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2000

Theme 1 - Reseaux et systemes - Projet RESEDASSIGLEAvailable from INIST (FR), Document Supply Servic...

Local checkpointing for embedded Java applications

Pauty, Julien
Cabillic, Gilbert
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 1 - Reseaux et systemes - Projet AcesSIGLEAvailable from INIST (FR), Document Supply Service, ...

Semantique naturelle : specifications et preuves

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CroapAvailable from INIST (FR), Document Suppl...

Well-typed logic programs are not wrong

Deransart, Pierre
Smaus, Jan Georg
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2000

Theme 2 - Genie logiciel et calcul symbolique - Projet contrainteSIGLEAvailable from INIST (FR), Doc...

La filiere crevetticole de Java Est Mise en evidence des dysfonctionnements

PT Indonusa Royal Seafood, Surabaya (Indonesia)
Schillinger, Catherine
Bosser, Pascal
Association pour le Developpement de l'Aquaculture (ADA), 33 - Saint-Andre-de-Cubzac (France)
Ecole Superieure d'Agriculture (ESA), 49 - Angers (France)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 22543, issue : a.1994 n.40 / ...

Security and dynamic class loading in Java : a formalisation

Jensen, T.
Le Metayer, D.
Thorn, T.
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeSIGLEAvailable from INIST (FR), Document...

Programming language specifications and environments

Bertot, Y.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet CROAPSIGLEAvailable from INIST (FR), Document...

Correctness of Java card tokenisation

Abstract

Extracted data

Correctness of Java card tokenisation

Abstract

Extracted data

Related items

Related items