The problems of inter-operability are acute for manufacturing applications, as applications using process specifications do not necessarily share syntax and definitions of concepts. The Process Specification Language developed at the National Institute of Standards and Technology proposes a formal ontology and translation mechanisms representing manufacturing concepts. When an application becom...

A black-box testing strategy based on Zweben et al.’s specification-based test data adequacy criteria is explored. The approach focuses on generating a flowgraph from a component’s specification and applying analogues of white-box strategies to it. An experimental assessment of the fault-detecting ability of test sets generated using this approach was performed for three of Zweben’s criteria us...

In this paper we propose a method to generate pausible clock based GALS wrapper circuits from the synchronous module’s Verilog specification code automatically. We first parse the input module specification and produce wrapper circuit components based on the specification of entered synchronous module. Existing methods for generation of the wrapper circuit waste the die size because they instan...

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...

in this paper we have proposed an approach for emotion detection in implicit texts. we have introduced a combinational system based on three subsystems. each one analyzes input data from a different aspect and produces an emotion label as output. the first subsystem is a machine learning method. the second one is a statistical approach based on vector space model (vsm) and the last one is a key...

predicting different behaviors in computer networks is the subject of many data mining researches. providing a balanced intrusion detection system (ids) that directly addresses the trade-off between the ability to detect new attack types and providing low false detection rate is a fundamental challenge. many of the proposed methods perform well in one of the two aspects, and concentrate on a su...

This report presents the Pattern Modeling Framework (PMF), a new metamodeling approach to pattern specification and detection for MOFcompliant modeling frameworks and languages. Patterns need to be precisely specified before a tool can manipulate them, and though several approaches to pattern specification have been proposed, they do not provide the scalability and flexibility required in pract...