3885 search results - page 162 / 777 » Transformations for Write-All-with-Collision Model |
125
click to vote
ICMT
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
180
click to vote
JCSS
2011
14 years 11 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
118
click to vote
CLIMA
2007
15 years 6 months ago
2007
Abstract. In this paper we present an implementation of EVOLP under the Evolution Stable Model semantics, based on the transformation defined in [1]. We also discuss optimizations...
126
click to vote
ICEGOV
2009
ACM
15 years 2 months ago
2009
ACM
Countries aiming to transform their Governments require a more sophisticated e-government model
136
Voted
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper we propose extensions to the match propagation algorithm which is a technique for computing quasidense point correspondences between two views. The extensions make t...