Sciweavers

4719 search results - page 83 / 944
» Applications = Components GLoo
Sort
View
99
Voted
ENTCS
2007
101views more  ENTCS 2007»
15 years 2 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
VMV
2008
122views Visualization» more  VMV 2008»
15 years 4 months ago
Statistical analysis of Multi-Material Components using Dual Energy CT
This work describes a novel method for statistical analysis of multi-material components. The application scenario is industrial 3D X-ray computed tomography, emphasizing metrolog...
Christoph Heinzl, Johann Kastner, Torsten Möl...
112
Voted
EUROMICRO
2005
IEEE
15 years 8 months ago
Distribution of a Hierarchical Component in a Non-Connected Environment
This article addresses the utilisation of the componentbased approach for building and executing a distributed application that can offer services over a set of heterogeneous and ...
Didier Hoareau, Yves Mahéo
134
Voted
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
15 years 8 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
ICCSA
2007
Springer
15 years 6 months ago
Component Specification for Parallel Coupling Infrastructure
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...
Jay Walter Larson, Boyana Norris