Sciweavers

13 search results - page 3 / 3
» icdcsw 2000
Sort
View
ICDCSW
2000
IEEE
13 years 9 months ago
Games-Based Model Checking of Protocols: counting doesn't count
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
Tim Kempster, Colin Stirling, Peter Thanisch
ICDCSW
2000
IEEE
13 years 9 months ago
Adaptive Real-Time Monitoring Mechanism for Replicated Distributed Video Player Systems
One of the main problems to ensure the quality of services (QoS) in video playback in a replicated distributed video player system is how to adapt to the changing network traffic ...
Chris C. H. Ngan, Kam-yiu Lam, Edward Chan
ICDCSW
2000
IEEE
13 years 9 months ago
Enabling Flexible QoS Support in the Object Request Broker COOL
Support of end-to-end Quality-of-Service (QoS) and ate high-level programming abstractions are two crucial factors for the development of future telecommunication services and dis...
Tom Kristensen, Thomas Plagemann