5355 search results - page 303 / 1071 » Modules |
161
click to vote
VMCAI
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
203
click to vote
CCS
2004
ACM
16 years 3 days ago
2004
ACM
This paper describes the direct anonymous attestation scheme (DAA). This scheme was adopted by the Trusted Computing Group as the method for remote authentication of a hardware mo...
163
click to vote
HIPC
2004
Springer
16 years 2 days ago
2004
Springer
In this paper, we present a system capable of improving the I/O performance in an automatic way. This system is able to learn the behavior of the applications running on top and ...
178
click to vote
ISER
2004
Springer
16 years 2 days ago
2004
Springer
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...
226
click to vote
SCOPES
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...