12115 search results - page 406 / 2423 » Bisimulation of Dynamical Systems |
178
click to vote
FM
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
168
click to vote
ICCS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...
190
click to vote
TACAS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
170
click to vote
ECML
2004
Springer
16 years 6 days ago
2004
Springer
Given the pattern-based multi-predictors of the stock price, we study a method of dynamic asset allocation to maximize the trading performance. To optimize the proportion of asset ...
163
click to vote
SG
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper introduces a new method to determine appealing placements of textual annotations for complex-shaped geometric models. It employs dynamic potential fields, whi...