2 search results - page 1 / 1 » Verification of the Fast Reservation Protocol with Delayed T... |
RTAS
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
ACMACE
2006
ACM
14 years 1 months ago
2006
ACM
Future digital entertainment services available to home users will share several characteristics: i) they will be deployed and delivered through the Internet, ii) a single media c...