Sciweavers

3830 search results - page 53 / 766
» From Reference Model to Component Model
Sort
View
ENTCS
2007
99views more  ENTCS 2007»
13 years 11 months ago
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
Alastair F. Donaldson, Alice Miller
WSC
2007
14 years 1 months ago
Composing simulation models using interface definitions based on web service descriptions
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...
Mathias Röhl, Stefan Morgenstern
ICEIS
2005
IEEE
14 years 4 months ago
COCO: Composition Model and Composition Model Implementation
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...
Naiyana Tansalarak, Kajal T. Claypool
CVRMED
1997
Springer
14 years 3 months ago
Volumetric medical images segmentation using shape constrained deformable models
In this paper we address the problem of extracting geometric models from low contrast volumetric images, given a template or reference shape of that model. We proceed by deforming...
Johan Montagnat, Hervé Delingette
JLP
2007
81views more  JLP 2007»
13 years 11 months ago
Service oriented computing from a process algebraic perspective
Service Oriented Computing is emerging as a reference model for a new class of distributed computing technologies such as Web Services and the Grid. We discuss three main aspects ...
Mario Bravetti, Gianluigi Zavattaro