Testing the correctness of services assures the functional quality of service-oriented applications. A service-oriented application may bind dynamically to its supportive services. For the same service interface, the supportive services may behave differently. A service may also need to realize a business strategy, like best pricing, relative to the behavior of its counterparts and the dynamic ...

This paper discusses issues in the design and implementation of metamorphic robotic systems. A metamorphic robotic system is a collection of independently controlled mechatronic modules, each of which has the ability to connect, disconnect, and climb over adjacent modules. A metamorphic system can dynamically reconngure by the locomotion of modules over their neighbors. Thus they can be viewed ...

Model transformations are crucial for the success of Model Driven Engineering. Testing is a prevailing technique of verifying the correctness of model transformation programs. A major challenge in model transformation testing is the oracle problem, which refers to the difficulty or high cost in determining the correctness of the output models. Metamorphic Testing alleviates the oracle problem b...

the complexes of mn(oac)3 and/or mn(acac)3 with nucleic bases and nucleosides (adenine, guanine, xanthine, adenosine and guanosine) have been synthesized in nonaqueous solution. polarographic and spectroscopic (ir and visible) methods have been used to establish the active site(s) on the imidazole and pyrimidine rings in the nucleic bases and nucleosides for the interaction with the mn(iii) com...

We study a natural generalization of the noncrossing relation between pairs of elements in [n] to k-tuples in [n]. We show that the flag simplicial complex on ( [n] k ) induced by this relation is a regular, unimodular and flag triangulation of the order polytope of the poset given by the product [k]× [n− k] of two chains, and it is the join of a simplex and a sphere (that is, it is a Gorenstei...

in the asemi-gawa area of intermediate high-pressure and low-temperature sanbagawa metamorphic belt in central shikoku, japan, piemontite-quartz schists are common in which cation exchange between piemontite and garnet has been studied. piemontite in contact with garnet usually contains two zones in which core is enriched in mn3+ and surrounded by a rim rich in fe3+. garnet is ca-fe-bearing spe...

Model-based software testing generally refers to test case selection and result evaluation based on a behavioral model of the target software. It may not, however, be possible to evaluate test results in some situations. For embedded software in a real-time environment, for instance, the results may only appear in a fraction of a second and cannot be observed by the tester. In this paper, we di...

Blood glucose levels are lower in tadpoles than adults. Transition to adult levels occurs during the later stages of metamorphosis, but the rise is interrupted by a brief decline in blood glucose at the beginning of metamorphic climax. Liver glycogen rises from 4.6% to 8% during larval life, falls to 1.7% at the beginning of metamorphic climax then returns to 5-770 during late climax and in the...