In this paper we develop an inventory model, to determine the optimal ordering quantities, for a set of two substitutable deteriorating items. In this inventory model the inventory level of both items depleted due to demands and deterioration and when an item is out of stock, its demands are partially fulfilled by the other item and all unsatisfied demand is lost. Each substituted item incurs a...

Specification styles are an approach for structuring the design process of distributed systems. For different phases of the design process different specification styles are employed. In this paper we study tools that support the design process through support for specification style transformation. Tools were made for a subset of LOTOS.

This paper presents a new semantic model for real-time LOTOS, based upon a notion of timed observations. The novelty of the model is explained, as is its value. It differs from the usual operational models in that it permits an abstract, property-oriented view of processes. It differs from earlier denotational models in that it describes a wider variety of behaviours. It supports an alternative...

This paper introduces the LOTOS specification of the OSI95 Enhanced Transport Service. It discusses the problems encountered during its writing, such as the ones caused by its validation, or by the lack of a 'Timed' LOTOS. But the interest is not only in the specification itself. It also lies in the way this specification was developed: not after, but in parallel with the design of the Service ...

The synthesis of nanocrystalline Fe3Al powder by mechanical alloying as well as the structural ordering of the synthesized Fe3Al particles during the subsequent thermal analysis were investigated. Mechanical alloying was performed up to 100 hours using a planetary ball mill apparatus with rotational speed of 300 rpm under argon atmosphere at ambient temperature. The synthesized powders were cha...

Resource constrained project scheduling problem (RCPSP) is mainly investigated with the objective of either minimizing project makespan or maximizing project net present value. However, when material planning plays a key role in a project, the existing models cannot help determining material ordering plans to minimize material costs. In this paper, the RCPSP incorporated with the material order...

INTRODUCTION ..................................................................................... 326 I. HISTORY AND BACKGROUND OF LPO ....................................... 327 A. Evolution of Outsourcing .................................................... 327 B. Growth of LPO Industry ..................................................... 329 C. Risks and Benefits of LPOs .....................

In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for which we provide an improved definition, the Computability Path Ordering. This new definition appears indeed to capture the essence of computability arguments à la Tait and Girard, therefore explaining the name of the improved ...