1. Apparatus, method and system for improved reservoir simulation using an algebraic cascading class linear solver

Dispositif, procede et systeme pour la simulation de reservoir amelioree par le biais de systeme de resolution lineaire de classe algebrique en cascade

2. Hence, this solver is particularly useful for security properties of Java Card byte-code, access control features of mobile and discretionary ambients', and validation of protocol narrations in suitable algebra processes.

Ce solutionneur est donc particulièrement utile pour les propriétés de sécurité du code intermédiaire Java Card, les fonctions de contrôle d'accès des environnements mobiles et discrétionnaires et la validation de narrations de protocoles dans des processus algébriques appropriés.