3384 search results - page 138 / 677 » More Testable Properties |
SETN
2010
Springer
14 years 3 months ago
2010
Springer
The preservation of digital objects is a topic of prominent importance for archives and digital libraries. This paper focuses on the problem of preserving the performability of tas...
ATVA
2009
Springer
14 years 3 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
ICARCV
2008
IEEE
14 years 3 months ago
2008
IEEE
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—A novel continuous time fluid flow model of the dynamics of the interaction between ACK-clocking and the link buffer is presented. A fundamental integral equation relating the...
NOMS
2008
IEEE
14 years 3 months ago
2008
IEEE
—Increasingly there is a demand for more scalable fault management schemes to cope with the ever increasing growth and complexity of modern networks. Current distributed fault co...