Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConForm [God93], has been designed, formally speci ed in the Z language, and a prototype is currently being implemented. This paper outlines the design of ConForm, and details experience gained in transforming the formal speci cati...

Today's open hypermedia systems (OHS) provide middleware services for a range of hypertext applications. However, con guration and adaptation to speci c applications' requirements is a tedious task. Research has been conducted into further splitting hypermedia middleware systems up into sets of interacting components that can be combined, extended and con gured dynamically. These componentbased...

Bon nombre de probl emes r eels sont souvent sur-contraints (le syst eme de contraintes associ e est contradictoire). Citons par exemple les probl emes d'emplois du temps ou les probl emes li es a la conception assist ee par ordinateur. Dans ce cadre, l'objectif est alors de d eterminer un sous-ensemble (de l'ensemble initial de contraintes) qui soit satisfaisable (on a aiblit le probl eme). Da...

A computational parametric study of three-dimensional, sidewallcompression scramjet inlets was performed to identify the e ects of geometric parameters on inlet performance. The parameters were the leadingedge sweep angle, varied between 30 and 60 , and the leading-edge position of the cowl, located at the throat and at two forward positions. A laminar boundary layer with cold-wall (T wall = 30...

Eight experiments tested the abilities of 3±4-year-old children to reorient themselves and locate a hidden object in an open circular space furnished with three or four landmark objects. Reorientation was tested by hiding a target object inside one of the landmarks, disorienting the child, observing the child's search for the target, and comparing the child's performance to otherwise similar tr...

Heilbronn conjectured that given arbitrary n points from R, located in the unit square (or circle), there must be three points which form a triangle of area at most O(1=n). This conjecture was proved false by a nonconstructive argument of Koml os, Pintz and Szemer edi [KPS] who showed that there is a con guration of n points in the unit square where all triangles have area at least (logn=n). In...

The positioning stand could help the surgeon to position and lock endoscopic tools without the need for an assistant surgeon. The kinematic con guration of the positioning stand is comprised of two main parts, the arm (for positioning) and the wrist (for orienting the tool). The main requirement of the wrist is to perform spherical movements around the incision point. A concentric multi-link sp...

A computational parametric study of three-dimensional, sidewallcompression scramjet inlets was performed to identify the e ects of geometric parameters on inlet performance. The parameters were the leadingedge sweep angle, varied between 30 and 60 , and the leading-edge position of the cowl, located at the throat and at two forward positions. A laminar boundary layer with cold-wall (T wall = 30...

We present a self stabilizing token circulation protocol on unidirectional anonymous rings This protocol does not required processor identi ers no distinguished processor i e all processors perform the same algorithm The algorithm can deal with any kind of schedulings even unfair ones Our protocol is a randomized self stabilizing meaning that starting from an arbitrary con guration in response ...

Data from Equator-S and Geotail are used to study the dynamics of the plasma sheet observed during a substorm with multiple intensi®cations on 25 April 1998, when both spacecraft were located in the early morning sector (03±04 MLT) at a radial distance of 10± 11 RE. In association with the onset of a poleward expansion of the aurora and the westward electrojet in the premidnight and midnight se...