Abstract interpretation-based mobile code certification

Current approaches to mobile code safety – inspired by the technique of Proof-Carrying Code (PCC) [4] – associate safety information (in the form of a certificate) to programs. The certificate (or proof) is created by the code supplier at compile time, and packaged along with the untrusted code. The consumer who receives the code+certificate package can then run a checker which, by a straightforward inspection of the code and the certificate, is able to verify the validity of the certificate and thus compliance with the safety policy. The main practical difficulty of PCC techniques is in generating safety certificates which at the same time: i) allow expressing interesting safety properties, ii) can be generated automatically and, iii) are easy and efficient to check.

Modeling and optimization of frequencies on congested bus lines

In this paper some mathematical programming models are exposed in order to set the number of services on a specified system of bus lines, which are intended to assist high demand levels which may arise because of the disruption of Rapid Transit services or during the celebration of massive events. By means of this model two types of basic magnitudes can be determined, basically: a) the number of bus units assigned to each line and b) the number of services that should be assigned to those units. In these models, passenger flow assignment to lines can be considered of the system optimum type, in the sense that the assignment of units and of services is carried out minimizing a linear combination of operation costs and total travel time of users. The models consider delays experienced by buses as a consequence of the get in/out of the passengers, queueing at stations and the delays that passengers experience waiting at the stations. For the case of a congested strategy based user optimal passenger assignment model with strict capacities on the bus lines, the use of the method of successive averages is shown.

Revue de Comminges.

Title varies slightly.

Revue thomiste; revue doctrinale de théologie et de philosophie.

Subtitle varies.

Cutting out the Stone of Madness

Pieter Bruegel the Elder; oil on panel

Sancti Deodati beatificationis et canonizationis servi Dei Petri Josephi Formet, eremitae nuncupati, informatio super dubio an sit signanda commissio introductionis causae ...

Title varies.

Procès entre Nicolas Piedevant, curé de Forest, et les moines de S. Wandrille,

In verse.

Essai sur ls archives historiques du Chapitre de l'église cathédrale de Notre-DAme à St.-Omer (Pas-de-Calais).

Extrait du tome VI des Memoires de la Société des antiquaires de la Morinie.

Les anciennes bibliothèques de Paris; églises, monastères, colléges, etc.;

Vol. 3 has imprint: Paris, Imprimerie nationale.

Gesta abbatum fontanellensium.

Also published under title: Chronicon fontanellensis abbatiae.

Anatomy and variability of "Cuvierichelys parisiensis", a geoemydid turtle that crosses the Eocene-Oligocene boundary in Belgium

Abundant material of turtles from the early Oligocene site of Boutersem-TGV (Boutersem, Belgium), is presented here. No information on the turtles found there was so far available. All the turtle specimens presented here are attributable to a single freshwater taxon that is identified as a member of Geoemydidae, Cuvierichelys. It is the first representative of the ‘Palaeochelys s. l.–Mauremys’ group recognized in the Belgian Paleogene record. This material, which allows to know all the elements of both the carapace and the plastron of the taxon, cannot be attributed to the only species of the genus Cuvierichelys so far identified in the Oligocene, the Spanish form Cuvierichelys iberica. The taxon from Boutersem is recognized as Cuvierichelys parisiensis. Thus, both the paleobiogeographic and the biostratigraphic distributions of Cuvierichelys parisiensis are extended, its presence being confirmed for the first time outside the French Eocene record. The validity of some European forms is refuted, and several characters previously proposed as different between Cuvierichelys iberica and Cuvierichelys parisiensis are recognized as subjected to intraspecific variability.