1253 search results - page 192 / 251 » Studying Software Evolution for Taming Software Complexity |
120
click to vote
FOSSACS
2009
Springer
15 years 5 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
134
click to vote
CGO
2004
IEEE
15 years 5 months ago
2004
IEEE
Dynamic optimization systems store optimized or translated code in a software-managed code cache in order to maximize reuse of transformed code. Code caches store superblocks that...
ARCS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present a GUI-based C++ toolbox that allows for building distributed, multi-modal context recognition systems by plugging together reusable, parameterizable components...
118
click to vote
MA
2000
Springer
15 years 5 months ago
2000
Springer
Multiple, highly autonomous, satellite systems are envisioned in the near future because they are capable of higher performance, lower cost, better fault tolerance, reconfigurabil...
139
click to vote
APSEC
2008
IEEE
15 years 3 months ago
2008
IEEE
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...