Sciweavers

1270 search results - page 189 / 254
» IF Validation Environment Tutorial
Sort
View
104
Voted
ICDE
2000
IEEE
113views Database» more  ICDE 2000»
15 years 6 months ago
Web Query Optimizer
We consider an architecture of mediators and wrappers for Internet accessible WebSources of limited query capability. Each call to a source is a WebSource Implementation (WSI) and...
Vladimir Zadorozhny, Laura Bright, Louiqa Raschid,...
TOOLS
2000
IEEE
15 years 6 months ago
Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
Benoit Baudry, Vu Le Hanh, Yves Le Traon
VISUALIZATION
2000
IEEE
15 years 6 months ago
A computational steering system for studying microwave interactions with missile bodies
This paper describes a computer modeling and simulation system that supports computational steering, which is an effort to make the typical simulation workflow more efficient. O...
J. Edward Swan II, Marco Lanzagorta, Doug Maxwell,...
ADBIS
2000
Springer
131views Database» more  ADBIS 2000»
15 years 6 months ago
Mobile Transaction Management in Mobisnap
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...
Nuno M. Preguiça, Carlos Baquero, Francisco...
ECAI
2000
Springer
15 years 6 months ago
Continual Planning with Time-Oriented, Skeletal Plans
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
Silvia Miksch, Andreas Seyfang