Abstract In this work we have designed three algorithms, by doing amalgamation of heuristic method and migration control. Virtual Machine (VM) selection is the immediate step after the host overload is detected. Now decision needs to be made to choice the VM(s) to migrate. VM selection is an important task and the energy consumption depends on the selection. Three VM selection... In this work we have designed three algorithms, by doing amalgamation of heuristic method and migration control. Virtual Machine (VM) selection is the immediate step after the host overload is detected. Now decision needs to be made to choice the VM(s) to migrate. VM selection is an important task and the energy consumption depends on the selection. Three VM selection strategies have been proposed in literature and been incorporated in CloudSim, a simulation framework to simulate Cloud architecture, resource provisioning etc. Migration control could influence the VM selection mechanism as steady and resource consuming VMs not to be selected. Reason behind is that, a steady VM which is continuously consuming recourses has high probability of consuming resource in the same manner in future. So if we migrate such VM it will also overload the next data center in which we are migrating it to. In this proposed model, CPU usage has been considered to identify a VM to be steady or not. The VM selection mechanisms are modified and equations are also modified to adopt migration control in the policy and algorithms also developed. We have used Cloudsim toolkit to simulate our experiment and to evaluate the performance of the proposed algorithm, we have used real-world work load traces of Planet lab VMs. From the comparison with existing energy aware VM consolidation methods, it is found that performance of our algorithm is better than other proposed heuristic approaches. Read More Read Less

Abstract Web 2.0 is the term given to describe a second generation of the World Wide Web, which aims to facilitate creativity, collaboration, and sharing between users. The Web 2.0 technologies can be divided into two sides: One is that users’ side includes a social element where users generate share and re-use content. This side often feature a rich, userfriendly interface based... Web 2.0 is the term given to describe a second generation of the World Wide Web, which aims to facilitate creativity, collaboration, and sharing between users. The Web 2.0 technologies can be divided into two sides: One is that users’ side includes a social element where users generate share and re-use content. This side often feature a rich, userfriendly interface based on Ajax. Two, that the architecture side; the Web 2.0 can be conceptualized as a global SOA. These emerging technologies require the development of tools and techniques that allow building safe and reliable Web 2.0 applications. This paper proposes an original formal approach for Web 2.0 applications based on their behavioural aspects. We provide all processes and tools that permit to build and analyze this formal approach : first, extracting a CTT-B model by capturing the behavioural aspect of the process of the social side and the behavioural aspect of the orchestration process ; this approach has a formal syntax and a behavioural semantics, then implementing the intermediate model; finally We present several mappings between these tools: a mapping that allows to translate JAVA and BEPL4SW into Event-B, in order to proceed to their formal verification and a mapping acting as a generator of JAVA and BEPL4SW code.. As such, our approach has the advantages of a formal approach (down / bottom) for formal specification and validation, moreover, is uniform approach for both languages (JAVA and BPEL4SW) used one pattern: CTT-B. Read More Read Less

Abstract Education system uses EMIS to collect data from education institutes, processes it and disseminates it to end users. In the existing system,data collection is a tedious task requiring special training and infrastructure. Data is disseminated in predefined reports and application to application transfer requires special application with complete compatibility of computing systems, databases and database connectivity strings at both the ends.... Education system uses EMIS to collect data from education institutes, processes it and disseminates it to end users. In the existing system,data collection is a tedious task requiring special training and infrastructure. Data is disseminated in predefined reports and application to application transfer requires special application with complete compatibility of computing systems, databases and database connectivity strings at both the ends. In this paper, we propose a functional model incorporating web service in all the three phases of education management i.e. data collection, processing and dissemination. We have used web service for direct data collection from districts to states and then central collection system. Also for data dissemination, predefined reports are processed, which can be accessed directly by end user’s application in addition to dynamic generation of reports. Use of web service in data collection and dissemination reduces overall time& cost and facilitates application to application data collection and dissemination, thus, increasing the efficiency of EMIS. The proposed functional modelis flexible and can be extended based on the user’s need. We illustrate our functional model with a case study applied to EMIS for schools. Read More Read Less