6020 search results - page 490 / 1204 » A New Approach to Model Counting |
138
click to vote
DT
2007
15 years 7 months ago
2007
This paper proposes a new heuristic approach to determine the input pattern that minimizes leakage currents of nanometer CMOS circuits during sleep mode considering stack and fano...
219
click to vote
JAIR
2007
15 years 7 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
277
click to vote
SERVICES
2010
15 years 1 months ago
2010
In this paper we discuss the evolvement of cloud computing paradigm and present a framework for secure cloud computing through IT auditing. Our approach is to establish a general ...
171
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
191
click to vote
MIRAGE
2007
Springer
16 years 1 months ago
2007
Springer
Human motion analysis has received a great attention from researchers in the last decade due to its potential use in different applications. We propose a new approach to extract h...