We present the application of the formal specification language RT-Z, an integration of the model-based specification language Z and the real-time process algebra timed CSP, in the area of safety-critical systems. The characteristics underlying the development of safety-critical systems are identified, and criteria for specification languages to be used in this area are derived. It is demonstra...

Stability studies play a critical role in assuring product quality at all points in the vaccine life cycle. These studies used to determine vaccine expiry date and vaccine efficacy. Accelerated stability and long term stability study performed for three batches of trivalent oral poliomyelitis vaccine (OPV) and three batches of monovalent OPV (type1) manufactured by Razi institute. After samplin...

Requirements specification activity in a human-readable and formal representation is crucial task while developing complex system. If the meaning of requirements description their fragments can be handled, Stakeholders produce more effective requirement specifications higher quality. To that end, an ontology developed to control capturing way. The proposed built using Protege tool. This paper f...

Snoop is an event specification language developed for expressing primitive and composite events that are part of Event-Condition-Action (or ECA) rules. In Snoop, an event was defined to be an instantaneous, atomic (happens completely or not at all) occurrence of interest and the time of occurrence of the last event in an event expression was used as the time of occurrence for the entire event ...

With the fast growth of mobile market, we are now seeing more and more malware on mobile phones. One common pattern of many commonly found malware on mobile phones is that: the malware always attempts to access sensitive system services on the mobile phone in an unobtrusive and stealthy fashion. For example, the malware may send messages automatically or stealthily interface with the audio peri...

The recently proposed algorithm, using the evidence accumulation principle, for finding lines (ridges) having shape which can be neither parameterized nor tabularized is described in detail. This fuzzy, multi-scale algorithm stores the evidence in the accumulator congruent with the image domain. The primary application was finding blood vessels in mammograms. REPRINT. In: Computer Recognition S...