Recent expectations regarding a new generation of the Web strongly depend on a success of Semantic Web technology. Resource Description Framework (RDF) is the basis for explicit and machine-readable representations of semantics of various Web resources and enables a framework for interoperability of future Semantic Web-based applications. However it has been pointed out that RDF is not suitable...

Many distributed energy (DE) resources are near load centers and equipped with power electronics converters to interface with the grid, therefore it is feasible for DE to provide ancillary services such as voltage regulation, nonactive power compensation, and power factor correction. A synchronous condenser and a microturbine with an inverter interface are implemented in parallel in a distribut...

Recent developments in the electric power and problems arising from construction and maintenance of large power plants have raised a great deal of interest in distributed power generation (DG). Distributed generation units due to specifications, technology and location network connectivity can improve system and load point reliability indices. In this paper, the placement and sizing of Distribu...

The Virtual National Airspace Simulation (VNAS) will improve the safety of Air Transportation. In 2001, using simulation and information management software running over a distributed network of super-computers, researchers at NASA Ames, Glenn, and Langley Research Centers developed a working prototype of a virtual airspace. This VNAS prototype modeled daily operations of the Atlanta airport by...

Distributed energy resources DER constitute a relatively new paradigm in the electric power industry. The concept is gaining popularity because of the inherent modularity of DERs. They can be regarded as more flexible power sources, albeit with limited capacity, than centralized power units. DERs are power generation or storage units that are connected directly to the distribution network or co...

The modern industrial facility depends on sensitive electronic equipment that can be shut down suddenly by severe power system disturbances. A large number of these disturbances on the power system are a result of line faults which can cause momentary voltage sags. This results in equipment malfunctioning and high restart cost. This papers describes the control of distributed resources as a sol...

The increasing demand for linguistic resources consisting of substantial amounts of data, such as large corpora, presents the challenge of building computational infrastructures capable of handling unprecedented amounts of information. One possible solution is the sharing of high-level, linguistically motivated and carefully balanced corpora for building one large language resource accessible w...

Modern computing paradigms for distributed applications advocate a strong control on shared resources available on demand in order to guarantee their correct usages. An illustrative example of such paradigms is Cloud Computing. In this dissertation, we study formal models for distributed applications, paying particular attention to resource usage analysis. Formal methods for specifying and anal...

As demand for mobile devices increases, prolonging battery life has been a focus of mobile device manufacturers. While manufactures support a partial self-refresh capability for MSDRAMs (Mobile SDRAM), most operating systems do not include this feature due to the complexity of the memory management. Utilizing this capability correctly could potentially reduce the amount of power consumed by MSD...