2355 search results - page 426 / 471 » Scheduling in the Z-Polyhedral Model |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Abstract-- In this paper, we analyze asymptotic delaythroughput trade-offs in mobile ad-hoc networks comprising heterogeneous nodes with restricted mobility. We show that node spat...
ESWA
2008
14 years 9 months ago
2008
Associative classification is a promising classification approach that utilises association rule mining to construct accurate classification models. In this paper, we investigate ...
ENDM
2006
14 years 9 months ago
2006
The students of the Industrial Design department at the TU Eindhoven are allowed to design part of their curriculum by selecting courses from a huge course pool. They do this by ha...
IJFCS
2006
14 years 9 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...