A safety property restricts the set of reachable states. In this paper, we introduce a notion of relative safety which states that certain program states are reachable provided certain other states are. A key, but not exclusive, application of this method is in representing symmetry in a program. Here, we show that relative safety generalizes the programs that are presently accommodated by exis...

The Motorways of the Sea is rather a new concept and, thus, is still in the process of development by the European Commission and in the Baltic Sea Region. The Baltic Sea Region is one of the most dynamic growth areas. Due to this fact the new ideas and technologies are needed to optimize the sea transport system. In the paper the simulation model for the system safety state evaluation is prese...

Inheritance mechanisms are used to express many different programming concepts. In this paper we analyse these inheritance concepts to determine the requirements for an inheritance mechanism which is to support the concepts well. On the basis of this analysis we identify weaknesses in current mechanisms, particularly in the areas of modelling and signature modification and show how an inheritan...

The purpose of a Safety Data Sheet (SDS), formerly known as Material Safety Data Sheets (MSDS), is to provide information on the hazards of working with a chemical and procedures that should be used to ensure safety. State and Federal law require that employers obtain an SDS for each hazardous substance they use or store and make the SDS available to employees. The PI/instructor is responsible ...

We develop bounds and approximations for setting base-stock levels in production-inventory systems with limited production capacity. Our approximations become exact as inventories become critical, meaning either that the target service level is very high or the backorder penalty is very large. Our bounds apply even without this requirement. We consider both single-stage and multi-stage systems....

The purpose of a Safety Data Sheet (SDS), formerly known as Material Safety Data Sheets (MSDS), is to provide information on the hazards of working with a chemical and procedures that should be used to ensure safety. State and Federal law require that employers obtain an SDS for each hazardous substance they use or store and make the SDS available to employees. The PI/instructor is responsible ...

The purpose of a Safety Data Sheet (SDS), formerly known as Material Safety Data Sheets (MSDS), is to provide information on the hazards of working with a chemical and procedures that should be used to ensure safety. State and Federal law require that employers obtain an SDS for each hazardous substance they use or store and make the SDS available to employees. The PI/instructor is responsible ...

The purpose of a Safety Data Sheet (SDS), formerly known as Material Safety Data Sheets (MSDS), is to provide information on the hazards of working with a chemical and procedures that should be used to ensure safety. State and Federal law require that employers obtain an SDS for each hazardous substance they use or store and make the SDS available to employees. The PI/instructor is responsible ...

The purpose of a Safety Data Sheet (SDS), formerly known as Material Safety Data Sheets (MSDS), is to provide information on the hazards of working with a chemical and procedures that should be used to ensure safety. State and Federal law require that employers obtain an SDS for each hazardous substance they use or store and make the SDS available to employees. The PI/instructor is responsible ...