3888 search results - page 492 / 778 » Change-Driven Model Transformations |
184
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
241
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract-General information about a class of objects, such as human faces or teeth, can help to solve the otherwise ill-posed problem of reconstructing a complete surface from spa...
163
click to vote
AMR
2006
Springer
15 years 10 months ago
2006
Springer
A novel and general criterion for image similarity validation is introduced using the so-called a contrario decision framework. It is mathematically proved that it is possible to c...
207
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
By QoS (Quality of Service), we often refer to a set of quality requirements on the collective behavior of one or more objects. These requirements enable the provision of better se...
169
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Heterogeneous Business Process Modeling (BPM) schemas have been a problem for business process management throughout the last couple of years. Although there are several standardiz...