888 search results - page 67 / 178 » The Power of Temporal Proofs |
COST
2010
Springer
14 years 4 months ago
2010
Springer
This study investigates the variability in the temporal alignment of turn initiations and its relationship to the entrainment and power structure between the interlocutors. The dat...
CHARME
2005
Springer
15 years 3 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
WISA
2009
Springer
15 years 4 months ago
2009
Springer
Power analysis has shown to be successful in breaking symmetric cryptographic algorithms implemented on low resource devices. Prompted by the breaking of many protected implementat...
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract—This paper solves the joint power control and SIR assignment problem through distributed algorithms in the uplink of multi-cellular wireless networks. The 1993 Foschini-...
105
click to vote
ACISP
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we are interested in algebraic immunity of several well known highly-nonlinear vectorial Boolean functions (or Sboxes), designed for block and stream ciphers. Unfortu...