3888 search results - page 493 / 778 » Change-Driven Model Transformations |
196
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
161
click to vote
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
Designing cross-organizational e-business applications faces the problem that the collaborating businesses must align their commercial interests without any central decision makin...
161
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
181
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...
183
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...