5030 search results - page 817 / 1006 » cases 2007 |
160
click to vote
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
187
click to vote
ALGOSENSORS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we present an Intrusion Detection System designed for wireless sensor networks and show how it can be configured to detect Sinkhole attacks. A Sinkhole at...
169
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
- Exceptionally leaky transistors are increasingly more frequent in nano-scale technologies due to lower threshold voltage and its increased variation. Such leaky transistors may e...
180
click to vote
BVAI
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents the implementation of ARQ-PROP II, a limited-depth propositional reasoner, via the compilation of its specification into an exact formulation using the satyrus...
209
click to vote
CF
2007
ACM
15 years 8 months ago
2007
ACM
In recent years, highly accurate branch predictors have been proposed primarily for high performance processors. Unfortunately such predictors are extremely energy consuming and i...