2838 search results - page 312 / 568 » Verifying Controlled Components |
108
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
A novel optimisation accelerator deploying neural network predictions and objective space direct manipulation strategies is presented. The concept of directing the search through ...
111
click to vote
ICANN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper we discuss sparse least squares support vector regressors (sparse LS SVRs) defined in the reduced empirical feature space, which is a subspace of mapped tr...
111
click to vote
CBSE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...
HIPEAC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
115
Voted
SEM
2004
Springer
15 years 6 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...