295 search results - page 38 / 59 » Approximating the Expressive Power of Logics in Finite Model... |
113
click to vote
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
100
Voted
EUSFLAT
2003
15 years 1 months ago
2003
Ultraprecision turning is a manufacturing process used to generate a high surface roughness in precision components, and its input-output relationships are highly nonlinear. Surfa...
114
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
Small, embedded integrated circuits (ICs) such as smart cards are vulnerable to so-called side-channel attacks (SCAs). The attacker can gain information by monitoring the power co...
122
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
113
click to vote
TCC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...