156 search results - page 9 / 32 » Verifying Model Transformations by Structural Correspondence |
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Weighted voting games are a popular model of collaboration in multiagent systems. In such games, each agent has a weight (intuitively corresponding to resources he can co...
116
click to vote
VLSID
2003
IEEE
16 years 1 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
141
click to vote
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
107
click to vote
MICCAI
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. We present iCluster, a fast and efficient algorithm that clusters a set of images while co-registering them using a parameterized, nonlinear transformation model. The out...
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...