In this paper, we present the H-Change methodology we have specifically conceived for evolving independent ontologies in open networked systems. Furthermore, we describe the change detection techniques based on semantic matchmaking for determining the most appropriate location where to frame new incoming knowledge within an existing ontology. Change assimilation techniques for evolving ontology...

Today's eeorts are mainly concentrated on providing \standard" parallel languages to ensure the portability of programs across various architectures. It is now believed that the next level of abstraction that will be addressed is the application level. This paper argues that there is an intermediate level that consist of common parallel programming paradigms. It describes some of these paradigm...

The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this problem based on state space partitioning of functions as well as relations. We investigate the key questions of how to perform partitioning in reachability based verification and provide suitable algorithms. We also addre...

Market segmentation is critical for a good marketing and customer relationship management program. Traditionally, a marketer segments a market using general variables such as customer demographics and lifestyle. However, several problems have been identified and make the segmentation result unreliable. This paper develops a novel market segmentation methodology based on product specific variabl...

This paper presents a discrete adjoint method for a broad class of time-dependent optimization problems. The time-dependent adjoint equations are derived in terms of the discrete residual of an arbitrary finite volume scheme which approximates unsteady conservation law equations. Although only the 2-D unsteady Euler equations are considered in the present analysis, this time-dependent adjoint m...

Service discovery is a critical aspect in the Service Oriented Computing approach. A model, a methodology and a tool environment based on ontologies are proposed in this paper. The requester and provider perspectives are discussed, both to support the service publication phase and the search phase. The proposed service ontology is based on functional aspects and it is organized on three layers,...

An approach to forecasting the potential for flash flood–producing storms is developed, using the notion of basic ingredients. Heavy precipitation is the result of sustained high rainfall rates. In turn, high rainfall rates involve the rapid ascent of air containing substantial water vapor and also depend on the precipitation efficiency. The duration of an event is associated with its speed of ...

Data quality (DQ) has been defined as “fitness for use” of the data (also called Information Quality). A single aspect of data quality is defined as a “dimension” such as “consistency”, “accuracy”, “completeness”, or “timeliness”. In order to assess and improve data quality, “methodologies” have been defined. Data quality methodologies are sets of guidelines and techniques that are designed for...

VII Zusammenfassung VIII Selbstständigkeitserklärung IX Chapter 1: Introduction 1

A risk-based sensor placement methodology is proposed to solve the problem of optimal location of sensors to protect population against the exposure to, and effects of, known and/or postulated chemical, biological, and/or radiological threats. Risk is calculated as a quantitative value representing population at risk from exposure at standard exposure levels. Historical meteorological data are ...