package design is an important factor in product manufacturing that must be performed based on customer requirements. this paper introduces cardboard approach using raw materials according to standards and also effective requirements so, using materials based on specific standards will play important role. the materials and its production process used for packaging manufacturers to supply produ...

Asynchronous interrupts abound in computing systems, yet they remain a thorny concept for both programming and verification practice. The ubiquity of interrupts underscores the importance of developing programming models to aid the development and verification of interrupt-driven programs. The research reported here recognizes asynchronous interrupts as a computational effect and encapsulates t...

There has been significant discussion—and significant disagreement—on the issue of how exceptions should interact with atomic blocks implemented using transactions. We present a proposal that offers a significant contribution towards resolving this issue, at least for C++, and we raise remaining areas of disagreement for discussion at the workshop and in the community in general.

This paper presents a unified framework for dealing with a deduction system and a denotational semantics of exceptions. It is based on the fact that handling exceptions can be seen as a kind of generalized case distinction. This point of view on exceptions has been introduced in 2004, it is based on the notion of diagrammatic logic, which assumes some familiarity with category theory. Extensive...

Compliance to the Indiana Department of Transportation's (INDOT) highway design criteria is considered essential to ensure the roadway safety. However, for a variety of reasons, situations arise where exceptions to standard-design criteria are requested and accepted after review. This research explores the impact that design exceptions have on the accident severity and accident frequency in Ind...

In this paper we analyze the conditional logic approach to default logic, the logic that formalizes reasoning about default assumptions.Conditional logic is a popular framework to formalize defeasible reasoning. The conditional sentence “if (the antecedent or condition) then by default (the consequent or conclusion)” is represented in this framework by the formula > , where ‘>’ is some kind of ...

Most of the work on inheritance hierarchies in recent years has had as its goal the design of general purpose algorithms that depend only on the topology of the inheritance network. This research has produced some important observations about the various strategies used in human common sense reasoning, but it has also produced a proliferation of incompatible systems. In this paper, we resurrect...

Formal methods for describing the communicating behavior of software components are believed to become widely used. Based on our experience with creating a formal behavior model of an already existing reasonably-large project, handling exceptions explicitly in the formal language is a necessity. Otherwise the specification becomes undesirably large, hard to read and consequently error-prone. Th...