3101 search results - page 520 / 621 » Composing Adaptive Software |
161
click to vote
SPLC
2007
15 years 7 months ago
2007
Managing variability is the essence of software product line (PL) practice. With many variant features and complex dependencies among them, it also becomes a major challenge for e...
151
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
We consider an extension of Church’s synthesis problem to ordinals by adding limit transitions to graph games. We consider game arenas where these limit transitions are defined...
164
click to vote
AC
2008
Springer
15 years 6 months ago
2008
Springer
Sparse matrices are first class objects in many VHLLs (very high level languages) used for scientific computing. They are a basic building block for various numerical and combinat...
166
click to vote
FMSD
2006
15 years 6 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
139
click to vote
SIAMIS
2008
15 years 6 months ago
2008
This paper introduces a new approach to the problem of quantitative reconstruction of an object from few radiographic views. A mixed variable programming problem is formulated in ...