6020 search results - page 755 / 1204 » A New Approach to Model Counting |
163
click to vote
EMO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we study a number of issues related to the design of a cellular genetic algorithm (cGA) for multiobjective optimization. We take as an starting point an algorithm fol...
164
click to vote
WSC
2007
15 years 9 months ago
2007
The changing needs of healthcare provision around the world are forcing service designers and decision makers to adopt new tools in design and evaluation of processes. Apart from ...
235
Voted
CHES
2008
Springer
15 years 8 months ago
2008
Springer
We propose a generic information-theoretic distinguisher for differential side-channel analysis. Our model of side-channel leakage is a refinement of the one given by Standaert et ...
181
click to vote
ASAP
2010
IEEE
15 years 8 months ago
2010
IEEE
Data-flow has proven to be an attractive computation model for programming digital signal processing (DSP) applications. A restricted version of data-flow, termed synchronous data...
186
click to vote
IIWAS
2008
15 years 8 months ago
2008
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...