5525 search results - page 592 / 1105 » Verification of Model Transformations |
207
click to vote
ENTCS
2006
15 years 7 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
215
click to vote
EWSA
2004
Springer
16 years 15 days ago
2004
Springer
Model Driven Architecture (MDA) is an initiative of the OMG in which the software development process is driven by various software-related models describing the software to be gen...
207
click to vote
KDD
2004
ACM
16 years 14 days ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
241
click to vote
TSMC
2011
15 years 2 months ago
2011
— Consider a scenario in which the data owner has some private/sensitive data and wants a data miner to access it for studying important patterns without revealing the sensitive ...
203
click to vote
ECCV
2008
Springer
16 years 9 months ago
2008
Springer
In this paper, we present a region-based deformable cylinder model, extending the work on classical region-based active contours and gradient-based ribbon snakes. Defined by a cent...