5639 search results - page 1074 / 1128 » Timed Abstract Non-interference |
180
click to vote
BICOB
2010
Springer
15 years 6 months ago
2010
Springer
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...
EUROCRYPT
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...
130
click to vote
ICA3PP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Cloud computing providers have setup several data centers at different geographical locations over the Internet in order to optimally serve needs of their customers aroun...
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
We describe twinning and its applications to adapting programs to alternative APIs. Twinning is a simple technique that allows programmers to specify a class of program changes, i...
104
click to vote
AIME
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Mechanical ventilation can cause severe lung damage by inadequate adjustment of the ventilator. We introduce a Machine Learning approach to predict the pressure-dependent...