8874 search results - page 1593 / 1775 » A New Implementation of Automath |
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Interaction for desktop games is mostly limited to keyboard and mouse input. We are investigating the benefits of adding body-based interaction to complement keyboard and mouse in...
152
click to vote
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
138
click to vote
EUROCRYPT
2009
Springer
16 years 5 months ago
2009
Springer
At the RFID Security Workshop 2007, Adi Shamir presented a new challenge-response protocol well suited for RFIDs, although based on the Rabin public-key cryptosystem. This protocol...
168
Voted
EUROCRYPT
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. The Joint Sparse Form is currently the standard representation system to perform multi-scalar multiplications of the form [n]P + m[Q]. We introduce the concept of Joint D...
139
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
Fairness is an essential requirement of any operating system scheduler. Unfortunately, existing fair scheduling algorithms are either inaccurate or inefficient and non-scalable fo...