Sciweavers

351 search results - page 25 / 71
» Properties of Behavioural Model Merging
Sort
View
ENTCS
2006
146views more  ENTCS 2006»
15 years 3 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
CAIP
2001
Springer
165views Image Analysis» more  CAIP 2001»
15 years 8 months ago
A New Approach for Model-Based Adaptive Region Growing in Medical Image Analysis
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
Regina Pohle, Klaus D. Tönnies
CBSE
2010
Springer
15 years 7 months ago
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
Gwenaël Delaval, Éric Rutten
CAISE
2009
Springer
15 years 10 months ago
Enterprise Meta Modeling Methods - Combining a Stakeholder-Oriented and a Causality-Based Approach
Meta models are the core of enterprise architecture, but still few methods are available for the creation of meta models tailored for specific purposes. This paper presents two app...
Robert Lagerström, Jan Saat, Ulrik Franke, St...
108
Voted
SEMWEB
2007
Springer
15 years 10 months ago
RDFSync: Efficient Remote Synchronization of RDF Models
In this paper we describe RDFSync, a methodology for efficient synchronization and merging of RDF models. RDFSync is based on decomposing a model into Minimum Self-Contained graphs...
Giovanni Tummarello, Christian Morbidoni, Reto Bac...