4083 search results - page 543 / 817 » The EvA2 Optimization Framework |
171
click to vote
EDBTW
2010
Springer
16 years 1 months ago
2010
Springer
Organizations often need to release microdata without revealing sensitive information. To this scope, data are anonymized and, to assess the quality of the process, various privac...
170
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Smartphones are now ubiquitous. However, the security requirements of these relatively new systems and the applications they support are still being understood. As a result, the...
161
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...
200
click to vote
PPPJ
2009
ACM
16 years 1 months ago
2009
ACM
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...
189
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...