Data transformation problems are very common and are challenging to implement for large and complex datasets. We describe a new approach for specifying data mapping transformations between XML schemas using a combinat...
详细信息
ISBN:
(纸本)9780769521312
Data transformation problems are very common and are challenging to implement for large and complex datasets. We describe a new approach for specifying data mapping transformations between XML schemas using a combination of automated schema analysis agents and selective user interaction. A graphical tool visualizes parts of the two schemas to be mapped and a variety of agents analyze all or parts of the schema, voting on the likelihood of matching subsets. The user can confirm or reject suggestions, or even allow schema matches to be automatically determined, incrementally building up to a fully-mapped schema. An implementation of the mapping specification can then be generated.
This paper describes a software specially developed for strategic studies within Power Quality, more specifically Voltage Sags. First, the methodology to estimate the number and the characteristics of the disturbances...
详细信息
This paper reports as a case study an attempt to model check the control subsystem of an operational NASA robotics system. Thirty seven properties including both safety and liveness specifications were formulated for ...
详细信息
This paper reports as a case study an attempt to model check the control subsystem of an operational NASA robotics system. Thirty seven properties including both safety and liveness specifications were formulated for the system. Twenty two of the thirty seven properties were successfully model checked. Several significant flaws in the original software system were identified and corrected during the model checking process. The case study presents the entire process in a semi-historical mode. The goal is to provide reusable knowledge of what worked, what did not work and why.
The UML Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology of how to use the testing profile in order to modify and extend an existing UML design model for test is...
详细信息
The paper introduces the concept of regression benchmarking as a variant of regression testing focused at detecting performance regressions. Applying the regression benchmarking in the area of middleware development, ...
详细信息
The paper introduces the concept of regression benchmarking as a variant of regression testing focused at detecting performance regressions. Applying the regression benchmarking in the area of middleware development, the paper explains how regression benchmarking differs from middleware benchmarking in general. On a real-world example of TAO, the paper shows why the existing benchmarks do not give results sufficient for regression benchmarking, and proposes techniques for detecting performance regressions using simple benchmarks.
High-assurance development of large-scale, network-centric systems must address challenging engineering realities. Flow-Service-Quality (FSQ) engineering provides foundations and practices that accommodate these reali...
详细信息
High-assurance development of large-scale, network-centric systems must address challenging engineering realities. Flow-Service-Quality (FSQ) engineering provides foundations and practices that accommodate these realities to maintain intellectual control in system analysis, development, and evolution.
This paper proposes a unified knowledge model establishing a core structure of knowledge representation in natural and artificial intelligence systems. The Concept Cell Model proposes the use of acyclic lattices to mo...
详细信息
This paper proposes a unified knowledge model establishing a core structure of knowledge representation in natural and artificial intelligence systems. The Concept Cell Model proposes the use of acyclic lattices to model a concept formed from a knowledge network of simpler concepts. Declarative and procedural knowledge are explicitly defined as the time-invariant and time-variant relationship of concepts. Examples of a Restaurant Servicing Concept Cell and an extended Shopping Complex Concept Cell are used to demonstrate the functionality of this model. Major existing theoretic and engineering Ontology knowledge schools are compared under this framework.
This paper gives contribution to the construction of an image mosaic by pasting together a sequence of photographs taken by a regular digital camera from the same position but in different directions. In order to find...
详细信息
This paper gives contribution to the construction of an image mosaic by pasting together a sequence of photographs taken by a regular digital camera from the same position but in different directions. In order to find the best match between two overlapping images, a fuzzy-genetic based algorithm is presented. A translation vector with a minimal difference between the common picture parts has to be found. The difference is defined using the fuzzyfied contours of each images. The search of the optimal translation is considered as a minimization process. This paper proposes a method that uses genetic algorithms to find the minimum point corresponding to the optimal translation. Using the fuzzy based comparison of the two images yields a fast fitness function, while the implementation of the proposed method in a genetic hardware has a low and variable computational cost. The precision of the method is inverse-proportional with the computational time, which makes it ideal to be used in real time systems.
暂无评论