Sciweavers

3948 search results - page 506 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
ECTEL
2006
Springer
15 years 10 months ago
The L2C Project: Learning to Collaborate Through Advanced SmallWorld Simulations
Abstract. L2C - Learning to Collaborate - is an ongoing research project addressing the design of effective immersive simulation-based learning experiences supporting the developme...
Albert A. Angehrn, Thierry Nabeth
EPEW
2006
Springer
15 years 10 months ago
Dependability Evaluation of Web Service-Based Processes
Abstract. As Web service-based system integration recently became the mainstream approach to create composite services, the dependability of such systems becomes more and more cruc...
László Gönczy, Silvano Chiarado...
FORMATS
2006
Springer
15 years 10 months ago
Symbolic Robustness Analysis of Timed Automata
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
Conrado Daws, Piotr Kordy
ICFEM
1998
Springer
15 years 10 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
VISUALIZATION
2000
IEEE
15 years 10 months ago
Simplification of Tetrahedral meshes with accurate error evaluation
The techniques for reducing the size of a volume dataset by preserving both the geometrical/topological shape and the information encoded in an attached scalar field are attractin...
Paolo Cignoni, D. Constanza, Claudio Montani, Clau...