Sciweavers

681 search results - page 68 / 137
» An Assembly Process Model for Method Engineering
Sort
View
FM
2006
Springer
121views Formal Methods» more  FM 2006»
15 years 1 months ago
Properties of Behavioural Model Merging
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
Greg Brunet, Marsha Chechik, Sebastián Uchi...
DLOG
2007
15 years 8 days ago
SEMilarity: Towards a Model-Driven Approach to Similarity
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
Rudi Araújo, Helena Sofia Pinto
ICIP
2007
IEEE
15 years 11 months ago
Robust Focused Image Estimation from Multiple Images in Video Sequences
In this paper, we propose a novel technique for estimating focused image sequences captured by an out-of-focus camera. The basic concept used in the proposed algorithm employs mul...
Junlan Yang, Dan Schonfeld, Magdi A. Mohamed
CCE
2011
14 years 5 months ago
Development and validation of a dynamic model for regeneration of passivating baths using membrane contactors
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
Eugenio Bringas, Rosa Mediavilla, Ana María...
COMPSAC
2003
IEEE
15 years 3 months ago
An Object-Passing Model for Parallel Programming
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
Jameela Al-Jaroodi, Nader Mohamed