Sciweavers

3814 search results - page 63 / 763
» Operating system support for multimedia systems
Sort
View
258
Voted
POPL
2009
ACM
16 years 4 months ago
Verifying distributed systems: the operational approach
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
Tom Ridge
119
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
Quality of Experience Aware Multimedia Provisioning with Cross-Layer Network Management
Abstract--This paper presents a Cross-layer Network Management System (NMS) that allows Service Providers (SPs) to perform cost-effective network resource reservations with their N...
René Serral-Gracià, Eva Marín...
117
Voted
ICMCS
2000
IEEE
102views Multimedia» more  ICMCS 2000»
15 years 8 months ago
Trader's Quality of Service Specifications and Effects on System Performance for Video-on-Demand
In this paper we present a detailed review on the Trader’s Quality of Service (QoS) Specifications and the Effects on System Performance for Video-on-Demand Multimedia (MM) Appl...
Edward Babulak
150
Voted
HUC
1999
Springer
15 years 8 months ago
Chameleon - Reconfigurability in Hand-Held Multimedia Computers
In this paper a reconfigurable systems-architecture in combination with a QoS driven operating system is introduced that can deal with the inherent dynamics of future mobile system...
Gerard J. M. Smit, Ties Bos, Paul J. M. Havinga, S...
144
Voted
CAINE
2008
15 years 5 months ago
A Graphics-User Interface in Support of a Cognitive Inference Architecture
- The objective of this paper is to present a graphical-user-interface (GUI) in support of a decision support system (KASER) for machine understanding. In order to provide informat...
Isai Michel Lombera, Jayeshkumar Patel, Stuart Har...