Web service composition is most impressing method for development and deployment of e-business. Modeling and analysis of the behavior requirements of compositional Web service plays an important role in behavioral verification. Traditional methods are expressing requirements as LTL like logic specifications which are based on activities or as MSC like graph forms which are based scenarios. In t...

Most hard real-time computer systems control processes that undergo several, mutually exclusive modes of operation. This paper discusses issues of handling mode changes and requirements for their application. Speci cation of mode changes, construction of static schedules for modes and transitions, and run-time execution of mode changes are presented. We propose concepts for mode changes in the ...

With market economy society development, non-profit organizations play irreplaceable roles in making up market failure and government failure aspects, and have become one of indispensable parts in “government-marketsociety” ternary structure society. Non-profit sports organizations development has become main direction of modern sports development, and become important carriers to develop natio...

This work deals with the multi-mode resource-constrained project scheduling problem. In this problem, activities of the project may be executed in more than one operating mode and renewable resource constraints exist. Each activity operation mode has a different duration and requires different amount of renewable resources. The objective function considered is the minimisation of the project co...

Most hard real-time computer systems control processes that undergo several, mutually exclusive modes of operation. This paper discusses issues of handling mode changes and requirements for their application. Speci cation of mode changes, construction of static schedules for modes and transitions, and run-time execution of mode changes are presented. We propose concepts for mode changes in the ...

In the semiconductor manufacturing industry recently remarkable technological developments like, feasibility of millions of transistors and various other components to be integrated on a Chip with enormous packaging options than it is tested by BIST. The role of the BIST circuit is to reduce the cost by reducing the testing interval and the complexity of testing. The power dissipated in a circu...

Comparative antioxidant activities of the water and ethanol extracts obtained from dried citrus fruit (Citrus unshiu) peel were determined using chemical and biochemical in vitro assays. Chemical assays were used for evaluation of 1,1-diphenyl-2-picryl hydrazyl (DPPH) radical scavenging, hydrogen peroxide scavenging, and reducing power of both extracts and their total phenolic, flavonoid and ta...

it seems that the general applicability of the quantum theory of atoms in molecules (qtaim) oncharacterizing the bonded interactions is still questionable even afier 30 years since its formulation. fordemonstrating the generality of bonding schemes in qta im, ea( isomers were chosen as the modelsystems and the results from molecular charge density analysis and vibrational normal modes werecompa...