Sciweavers

996 search results - page 47 / 200
» Enhancing UML Models: A Domain Analysis Approach
Sort
View
BALT
2010
14 years 11 months ago
Bringing Domain Knowledge to Pattern Matching
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
Agris Sostaks
DSRT
2008
IEEE
15 years 11 months ago
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
Manel Khlif, Mohamed Shawky
DOCENG
2008
ACM
15 years 6 months ago
Malan: a mapping language for the data manipulation
Malan is a MApping LANguage that allows the generation of transformation programs by specifying a schema mapping between a source and target data schema. By working at the schema ...
Arnaud Blouin, Olivier Beaudoux, Stéphane L...
AOSE
2004
Springer
15 years 9 months ago
AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
Radovan Cervenka, Ivan Trencanský, Monique ...
ICPR
2008
IEEE
15 years 10 months ago
Resolution enhancement for binocular stereo
Traditional stereo algorithms estimate disparity at the same resolution as the observations. In this work we address the problem of estimating disparity and occlusion information ...
Arnav V. Bhavsar, A. N. Rajagopalan