The standardization bodies have defined the Dynamic Generic Cell Rate Algorithm (DGCRA) as the Conformance Definition for ABR. This algorithm may be implemented in the Usage Parameter Control (UPC) for policing. In this paper we describe an equivalent queuing model of the DGRCA and we solve this model using a matrix analytic approach. The analytical results are validated by simulation.

Now the current scenario software quality and cost estimation are the most challenging or more important activities in software development organizations. Software companies are focused on minimizing software error, producing good quality software products within the estimated budget. In this article, the fuzzy based methods to improve the software quality as well as minimizing the internal or ...

Modern organizations have invested in collections of descriptive and/or normative process models, but these rarely describe the actual processes adequately. Therefore, a variety of techniques for conformance checking have been proposed to pinpoint discrepancies between modeled and observed behavior. However, these techniques typically focus on the control-flow and abstract from data, resources ...

During modern model-driven development processes, generators and higherorder transformations are used to create metamodels with short life cycles. Since these metamodels often differ from each other only in small parts, instances as well as metamodels may be re-used if the difference between them does not lead to a violation of instance conformance. Existing co-evolution approaches describe thi...

Interoperability of e-learning resources requires the adherence to specific standards. In the domain of virtual patients (VP) a central role is played by the MedBiquitous' MVP specification and its application profile proposed by the eViP (Electronic Virtual Patients) project. An important factor in promoting a standard is the use of metrics for assessing the conformity of the resources to the ...

We present a novel refinement relation (stuck-free conformance) for CCS processes, which satisfies the substitutability property: If I conforms to S, and P is any environment such that P | S is stuckfree, then P | I is stuck-free. Stuck-freedom is related to the CSP notion of deadlock, but it is more discriminative by taking orphan messages in asynchronous systems into account. We prove that co...

Network simulators, which implement network protocols under some simulated conditions, have been widely used to analyze the feasibility of network protocols. Conformance testing of the simulator against the protocol is a very important task in the community of telecommunications. However, many current conformance testing methods face a problem of finding a systematic mechanism to verify the tes...

The conformance model for C++ implementations and programs is defined in subclauses 1.3 [intro.compliance] and 1.4 [intro.defs]. Together, these subclauses define categories of programs (well-formed, ill-formed, having undefined behavior) and the requirements placed on implementations when presented with these various kinds of program input. As it currently stands, however, the text of these su...

Formal methods ensure the stability and reliability of soft-ware systems by using mathematical principles and proving conformance to a given set of requirements. The stable and reliable operation of software is especially important for system applications dealing with security. Although very effective in identifying a non-conformance in security requirements, formal methods typically involve a ...