426 search results - page 71 / 86 » Towards Verifying Model Transformations |
TACAS
1998
Springer
14 years 2 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
ECIS
2003
13 years 11 months ago
2003
The web service model provides fundamental advantages compared to the classical software usage model. But transactions in the web service market have by far not reached the expect...
BMCBI
2005
13 years 10 months ago
2005
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...
ICDE
2007
IEEE
14 years 11 months ago
2007
IEEE
Active Data Warehousing has emerged as an alternative to conventional warehousing practices in order to meet the high demand of applications for up-to-date information. In a nutsh...
CVPR
2007
IEEE
14 years 12 months ago
2007
IEEE
This paper introduces a new method for shape registration by matching vector distance functions. The vector distance function representation is more flexible than the conventional...