15253 search results - page 2573 / 3051 » Integer-Programming Software Systems |
141
Voted
AIIA
2007
Springer
16 years 16 days ago
2007
Springer
Due to the fast growing of the information available on the Web, the retrieval of relevant content is increasingly hard. The complexity of the task is concerned both with the seman...
175
click to vote
BVAI
2007
Springer
16 years 15 days ago
2007
Springer
The promise of Brain-Computer Interfaces (BCI) technology is to augment human capabilities by enabling interaction with computers through a conscious and spontaneous modulation of ...
165
click to vote
CCS
2007
ACM
16 years 15 days ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
151
click to vote
CCS
2007
ACM
16 years 15 days ago
2007
ACM
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...
177
click to vote
CCS
2007
ACM
16 years 15 days ago
2007
ACM
We present an efficient protocol for privacy-preserving evaluation of diagnostic programs, represented as binary decision trees or branching programs. The protocol applies a bran...