5639 search results - page 315 / 1128 » Timed Abstract Non-interference |
152
click to vote
IWPEC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Inclusion/exclusion branching is a way to branch on requirements imposed on problems, in contrast to the classical branching on parts of the solution. The technique turne...
163
click to vote
JSSPP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we address job scheduling in Distributed Computing Infrastructures, that is a loosely coupled network of autonomous acting High Performance Computing syste...
124
click to vote
KES
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In exploratory learning environments, learners can use different strategies to solve a problem. To the designer or teacher, however, not all these strategies are known in...
130
click to vote
PIMRC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--This paper considers the problem of key management in wireless networks. In particular, we investigate the effect of dynamic key compromise and recovery on connectivity i...
124
click to vote
PKDD
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Pattern-based classification has demonstrated its power in recent studies, but because the cost of mining discriminative patterns as features in classification is very ex...