Les cartes à puces ont évolué vers le concept de cartes ouvertes. Ce sont des cartes où l’on peut charger des applications après qu’elles aient été émises (distribuées à leur porteur). De nombreux travaux ont consisté à sécuriser le code mobile qui pouvait être chargé dans la carte [18, 26] afin d’assurer l’intégrité et la confidentialité des données. Cependant, établir des garanties plus large...

Résumé. Depuis son apparition au sein du W3C, la définition de la ressource Web n’a cessé d’évoluer au delà du simple document. Lieu, service, concept d’ontologie, représentation d’un objet réel ou non, la ressource web est complexe et il nous a semblé que les outils à disposition des internautes pour sa manipulation, comme les bookmarks par exemple, n’exploitaient pas pleinement ces nouvelles ...

l’homme a toujours souffert du caractère impeccable du réel qui, imposant des répressions mentales et sociales, interdit la réalisation des souhaits et des désirs. pourtant il semble que rien ne puisse faire d’obstacles à l’esprit humain lorsqu’il prend la voie du rêve, ce phénomène compliqué et surnaturel. mais quelle est la fonction du rêve quand il entre dans le domaine de la littérature? pe...

We consider deterministic functional specifications provided by means of synchronous data-flow models with multiple modes and multiple relative periods. These specifications are extended to include a real-time characterization defining task periods, release dates, and deadlines. Task deadlines can be longer than the period to allow a faithful representation of complex end-to-end flow requiremen...

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

The UML Pro le for Modeling and Analysis of Real-Time and Embedded (MARTE) systems has recently been adopted by the OMG. Its Time Model extends the informal and simplistic Simple Time package proposed by UML2 and o ers a broad range of capabilities required to model real-time systems. The MARTE OMG speci cation introduces a Time Structure inspired from Time models of the concurrency theory and ...

The Bayesian Generalised Likelihood Uncertainty Estimation (GLUE) methodology, previously used in rainfall-runoff modelling, is applied to the distributed problem of predicting the space and time varying probabilities of inundation of all points on a flood plain. Probability estimates are based on conditioning predictions of Monte Carlo realizations of a distributed quasi-twodimensional flood r...

This paper is an announcement of the following result, whose proof will be forthcoming. Let F be a totally real number field, and let F ⊂ K ⊂ L be a tower of fields with L/F a finite abelian extension. Let I denote the kernel of the natural projection from Z[Gal(L/F )] to Z[Gal(K/F )]. Let Θ ∈ Z[Gal(L/F )] denote the Stickelberger element encoding the special values at zero of the partial zeta ...

Introduction: cette étude a eu pour objectifs de diagnostiquer la tuberculose pulmonaire par l'examen microscopique et par la PCR des crachats et de déterminer les bases moléculaires de la résistance à la rifampicine et à l'isoniazide. Méthodes: le diagnostic du Complexe Mycobacterium Tuberculosis (CMTB) a été effectué par microscopie après coloration au Ziehl Nielsen et par PCR en temps réel e...

This scientific report presents a real-time method to animate complex scenes of thousands of trees under a user-controllable wind load. Firstly, modal analysis is applied to extract the main modes of deformation from the mechanical model of a 3D tree. The novelty of our contribution is to precompute a new basis of the modal stress of the tree under wind load. At runtime, this basis allows to re...