The LocALE (Location-Aware Lifecycle Environment) framework provides a simple management interface for controlling the lifecycle of CORBA distributed objects. It supports mechanisms for the remote construction, movement, removal and recovery of heterogeneous software objects in a location domain, i.e. a group of hosts on a network within a given physical area. Client applications use LocALE to ...

It is well known that a locale is subfit iff each of its open sublocales is a join of closed ones, and fit iff each of its closed sublocales is a meet of open ones. This formulation, however, exaggerates the parallelism between the behavior of fitness and subfitness. For it can be shown that a locale is fit iff each of its sublocales is a meet of closed ones, but it is not the case that a local...

Les solveurs de contraintes maintiennent uniformément le même niveau de cohérence locale (généralement la cohérence d’arc) indépendamment de l’instance du problème à résoudre. Nous proposons le concept de cohérence locale paramétrée, une approche originale qui permet d’ajuster le niveau de cohérence locale en fonction de l’instance du problème à résoudre et en fonction de la partie du problème ...

‎in this paper some properties of weak regular injectivity for $s$-posets‎, ‎where $s$ is a pomonoid‎, ‎are studied‎. ‎the behaviour‎ ‎of different kinds of weak regular injectivity with products‎, ‎coproducts and direct sums is considered‎. ‎also‎, ‎some‎ ‎characterizations of pomonoids over which all $s$-posets are of‎ ‎some kind of weakly regular injective are obtained‎. ‎further‎, ‎we‎ ‎giv...

Verification of imperative programs means reasoning about modifications of a program state. So proper representation of state spaces is crucial for the usability of a corresponding verification environment. In this paper we discuss various existing state space models under different aspects like strong typing, modularity and scalability. We also propose a variant based on the locale infrastruct...

Since the turn of the 21st century, a proliferation of empirical and theoretical scholarship has developed regarding mass incarceration in the United States. This work has grappled with its causes, contours, and consequences and has led to numerous important insights about how we arrived at our current state of overincarceration and about its human and economic impact. Yet, as I hope to tease o...