77 search results - page 16 / 16 » Response-time guarantees in ATM networks |
TACAS
1998
Springer
13 years 9 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
In P2P systems, large volumes of data are declustered naturally across a large number of peers. But it is very difficult to control the initial data distribution because every use...