Cloud is a concept of accessing the data from their own datacenters such that the chances of eavesdropping have been reduced and storage cost is reduced. Here in this paper we are giving a brief survey of various cloud based technique implemented so far. Although there are various techniques implemented so far for the cloud computing but here we are giving a survey of not only cloud based techn...

A common problem of automated tools for Formal Methods is their difficulty in dealing with infinite systems. Such systems may arise through the use of infinite data types. For example, in the LOTOS [6] formal description technique the simple process g?x : Nat; exit results in an infinite choice, one for each member of Nat. Rewriting logic [7] is a possible approach to dealing with such systems....

A variety of methodologies are available for process improvement. These include Six Sigma, Lean Management, Lean Six Sigma, Agile Management, Re-engineering, Total Quality Management, Just-In-Time, Kaizen, Hoshin Planning, Poka-Yoka, Design of Experiments, and Process Excellence. Consulting firms all seem to have one of these that they claim is the best. The large number of competing approaches...

Query expansion is one of most important technique in information retrieval where provides a series of methods to reform the query applying to retrieval in order to extract result more precisely. In the past, there are many kind of trails on this technique in different perspective. In this project, I’ll try to implement query expansion with topic models, where using topic modeling technique to ...

Index Terms — Smart grid; power engineering education; power engineering curriculum; power engineering resources; power engineering workforce. Abstract — A widely supported effort to modernize the United States power system has led to an engineering initiative variously known as ‘smart grid’, ‘intelligrid’, “gridwise”, “modern grid”, “perfect grid”, “future grid”, and similarly denominated prog...

An eight-factor survey-based Bayesian model (Bridge-It) for assessing school capacity to implement health and education programs was tested in secondary analyses of data from 47 schools in the Texas Tobacco Prevention Initiative (TTPI). Bridge-It was used during the pre-implementation phase and again at mid-course of the TTPI 2 years later. Achieved implementation status was evaluated in follow...

UML class diagrams provide notations to model the semantics of the structural relationships, i.e., associations, that occur between objects. These diagrams can be extended with Object Relationship Notation (ORN) to provide for the modeling of enhanced association semantics. While previous work has shown that the association semantics defined by ORN can be directly defined to and supported by an...

INTRODUCTION During the past 20 years, with huge advances in information technology and particularly in the areas of health, various forms of electronic records have been studied, analyzed, designed or implemented. An Electronic Health Records (EHRs) is defined as digitally stored healthcare information throughout an individual's lifetime with the purpose of supporting continuity of care, educa...

This paper presents a new algorithm to implement causal ordering. Causal ordering was first proposed in the ISIS system developed at Cornell University. The interest of causal ordering in a distr ibuted system is that it is cheaper to realize than total ordering. The implementation of causal ordering proposed in this paper uses logical clocks of Mat te rn-Fidge (which define a partial order bet...