Web services composition is the ability to integrate existing services to have value added services. Workflow-based services composition is one of the approaches proposed. eFlow is one of the Workflow-based service composition approaches. The approach is strong in providing a platform for adaptive and dynamic web services composition. However, it neglects the validation of the Quality of Servic...

This paper studies the problem of leakage power optimization in asynchronous circuits using dual threshold voltages technique. It proposes an efficient algorithm based on quantum computing concepts, such as quantum bit and superposition of states, which finds the optimal high and low threshold voltage assignment. The utilized circuit model is a Timed PetriNet which supports hierarchical circuit...

The skeleton and the functionality of a Petri Net Toolbox, embedded in the MATLAB environment, are briefly presented, as offering a collection of instruments devoted to simulation, analysis and synthesis of discrete-event systems. The integration with the MATLAB philosophy responds to the general interest manifested by educators for enlarging the compatibility between the traditional background...

Nowadays, manufacturers are faced with severe challenges to response rapidly to changing demands and meet various customers’ needs with respect to production volume and product profile. Reconfigurable manufacturing paradigm was proposed as an advanced manufacturing philosophy to enhance the adaptability and flexibility of manufacturing systems. By physical and logical reconfiguration, Reconfigu...

Software Designs must be evaluated in Software Development Process so as to avoid bugs and unsatisfactory performances. Concerning performance and real-time properties modeling, OMG specified the UML Profile for Schedulability, Performance and Time Specification (SPT). UML is the standard OO modeling Language our system, but UML is too static to model the performance.It is not able to capture d...