426 search results - page 15 / 86 » Towards Verifying Model Transformations |
ISCAS
2007
IEEE
14 years 4 months ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
SAC
2006
ACM
14 years 3 months ago
2006
ACM
The issue of confidentiality and privacy in general databases has become increasingly prominent in recent years. A key element in preserving privacy and confidentiality of sensi...
ISMIR
2001
Springer
14 years 2 months ago
2001
Springer
In recent years the interest in melodic similarity has mushroomed mainly due to the increased importance of music information retrieval (MIR). A great number of similarity models ...
ESWS
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
AUTOMOTIVEUI
2009
ACM
14 years 4 months ago
2009
ACM
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...