546 search results - page 103 / 110 » Extended Null-Move Reductions |
IANDC
2007
13 years 8 months ago
2007
In many cases, the addition of metric operators to qualitative temporal logics (TLs) increases the complexity of satisfiability by at least one exponential: while common qualitat...
SIGMETRICS
2008
ACM
13 years 8 months ago
2008
ACM
Wireless Network Interface Cards (WNICs) are part of every portable device, where efficient energy management plays a significant role in extending the device's battery life....
IJNSEC
2007
13 years 8 months ago
2007
In this paper a novel electronic payment protocol suitable for “peer-to-peer” (P2P) networks is presented. It implements electronic cash-based transactions, between buyers and...
TIT
2008
13 years 8 months ago
2008
The identifying code problem for a given graph involves finding a minimum set of vertices whose neighborhoods uniquely overlap at any given graph vertex. Initially introduced in 1...
AUTOMATICA
2004
13 years 8 months ago
2004
We propose an adaptive algorithm for control of combustion instability suitable for reduction of acoustic pressure oscillations in gas turbine engines, and main burners and augmen...