3775 search results - page 710 / 755 » The Expression Problem Revisited |
131
Voted
TARK
2007
Springer
15 years 7 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
130
click to vote
GLVLSI
2006
IEEE
15 years 6 months ago
2006
IEEE
Process technology and environment-induced variability of gates and wires in VLSI circuits make timing analyses of such circuits a challenging task. Process variation can have a s...
83
Voted
GLVLSI
2006
IEEE
15 years 6 months ago
2006
IEEE
Process variations have become a key concern of circuit designers because of their significant, yet hard to predict impact on performance and signal integrity of VLSI circuits. St...
100
click to vote
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— We define and study the scheduling complexity in wireless networks, which expresses the theoretically achievable efficiency of MAC layer protocols. Given a set of communicati...
105
Voted
SP
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...