2137 search results - page 201 / 428 » Proving Abstract Non-interference |
115
click to vote
ATVA
2004
Springer
15 years 8 months ago
2004
Springer
nded Abstract – Oleg Parshin∗ Abdur Rakib† Stephan Thesing∗ Reinhard Wilhelm∗ The precise determination of worst-case execution times (WCETs) for programs is mostly bein...
114
Voted
CD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...
177
click to vote
CIA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Many researchers have focused their efforts on developing collaborative recommender systems. It has been proved that the use of collaboration in such systems improves per...
COLT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract— We prove that given a nearly log-concave distribution, in any partition of the space to two well separated sets, the measure of the points that do not belong to these s...
105
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Constraint propagation is one of the techniques central to the success of constraint programming. Fast algorithms are used to prune the search space either before or duri...