This paper presents a novel discriminative learning method, called manifold discriminant
analysis (MDA), to solve the problem of image set classification. By modeling each image …

An oceanic general circulation model, previously used to simulate the conditions associated
with the Holocene Sapropel S1, is used to simulate the effects of a climate deterioration …

This paper presents a new DSS Design Model for complex, mission critical decision-making
situations and its technical, conceptual, and partial empirical evaluation. The new model …

Refinement is reviewed, highlighting in particular the distinction between its use as a
specification constructor at a high level, and its use as an implementation mechanism at a …

Retrenchment is a flexible model evolution formalism that arose as a reaction to the
limitations imposed by refinement, and for which the proof obligations feature additional …

Abstract The Mondex Electronic Purse system [18] is an outstanding example of formal
refinement techniques applied to a genuine industrial scale application, and notably, was …

Some of the success stories of model based refinement are recalled, as well as some of the
annoyances that arise when refinement is deployed in the engineering of large systems. The …

The Mondex electronic purse is an outstanding example of industrial scale formal
refinement, and was the first verification to achieve ITSEC level E6 certification. A formal …

For large systems, the manual construction of fault trees is error-prone, encouraging
automated techniques. In this paper we show how the retrenchment approach to formal …

The development of requirements specifications has to face the imprecise and changeable
knowledge available about the desired systems at the early stages of development. In this …