5066 search results - page 914 / 1014 » Spectra of structures and relations |
254
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
132
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
Management of a modern enterprise is based on the assumption that executive reports of lower-layer management are faithful to what is actually happening in the field. As some well...
168
click to vote
CICLING
2009
Springer
16 years 3 months ago
2009
Springer
Recent work on the transfer of semantic information across languages has been recently applied to the development of resources annotated with Frame information for different non-En...
169
click to vote
PODC
2009
ACM
16 years 3 months ago
2009
ACM
Consider a setting where nodes can vary their transmission power thereby changing the network topology, the goal of topology control is to reduce the transmission power while ensu...
156
click to vote
HPCA
2009
IEEE
16 years 3 months ago
2009
IEEE
The shrinking processor feature size, lower threshold voltage and increasing clock frequency make modern processors highly vulnerable to transient faults. Architectural Vulnerabil...