Message sequence charts (MSCs) and high-level message sequence charts (HMSCs) are popular formalisms for the speciication of communication protocols between asynchronous processes. An important concept in this context is the size of the communication buuers used between processes. Since real systems impose limitations on the capacity (or speed) of communication links, we ask whether a given HMS...

In high quality industrial processes, the control chart is design based on cumulative count of conforming (CCC) items is very useful. In this paper, the performance of CCC-r chart with variable sampling intervals (CCC-rVSI chart) in the presence ofinspectionerrors isinvestigated. The efficiency of CCC-rVSI chart is compared with CCC-r chart with fixed sampling interval (CC...