5757 search results - page 486 / 1152 » Dynamic Policy Programming |
207
click to vote
ACSAC
2005
IEEE
16 years 1 months ago
2005
IEEE
Improperly validated user input is the underlying root cause for a wide variety of attacks on web-based applications. Static approaches for detecting this problem help at the time...
203
click to vote
EWSA
2005
Springer
16 years 1 months ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
190
click to vote
ICCS
2005
Springer
16 years 1 months 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...
217
click to vote
TACAS
2005
Springer
16 years 1 months 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...
200
click to vote
EVOW
2010
Springer
16 years 13 days ago
2010
Springer
Abstract. Although there is a plentiful literature on the use of evolutionary methodologies for the trading of financial assets, little attention has been paid to potential use of...