561 search results - page 18 / 113 » How to operate a PC without using the hands |
100
click to vote
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
AICCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
Today most multiplayer game servers are pre-located statically, which makes it hard for gamers to find equi-ping hosts for their matches. This is especially important for first per...
84
Voted
CCS
2009
ACM
15 years 6 months ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
101
Voted
CHES
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper discusses the state-of-the-art fast software implementation of block ciphers on Intel’s new microprocessor Core2, particularly concentrating on “bitslice i...
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
The goal of data fusion is to combine several representations of one real world object into a single, consistent representation, e.g., in data integration. A very popular operator...