8771 search results - page 478 / 1755 » Different by design |
191
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
181
click to vote
AUIC
2004
IEEE
15 years 11 months ago
2004
IEEE
Tactile displays are now becoming available in a form that can be easily used in a user interface. This paper describes a new form of tactile output. Tactons, or tactile re struct...
169
click to vote
ESA
2006
Springer
15 years 11 months ago
2006
Springer
We address the problem of sorting in the presence of faults that may arbitrarily corrupt memory locations, and investigate the impact of memory faults both on the correctness and ...
201
click to vote
FINTAL
2006
15 years 11 months ago
2006
This work presents a strategy that aims to extract and rank predicted answers from the web based on the eigenvalues of a specially designed matrix. This matrix models the strength ...
172
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen proje...