Sciweavers

2912 search results - page 422 / 583
» Overlay Networks - Implementation by Specification
Sort
View
ICMCS
1999
IEEE
117views Multimedia» more  ICMCS 1999»
15 years 9 months ago
Scheduling of Adaptive Multimedia Documents
Multimedia documents are of importance in several application areas, such as education, training, advertising and entertainment. Since multimedia documents may comprise continuous...
Stefan Wirag
IFIP
1994
Springer
15 years 9 months ago
Reflections on Security of Database and Datatransfer Systems in Health Care
Health care is a complex and transnational task of societies. The various institutions and individuals involved are not and should not be governed by one central authority, but ha...
Joachim Biskup, Gerrit Bleumer
ICC
2007
IEEE
130views Communications» more  ICC 2007»
15 years 8 months ago
Dynamic Interactive Multimedia Scenes in Mobile Broadcast Environments
Dynamic Interactive Multimedia Scenes (DIMS) is the latest 3GPP multimedia standard aiming at the development and delivery of rich media services over mobile networks, specifically...
Ahmed Younus, Wissam Abdel Samad, Thomas Stockhamm...
ATVA
2006
Springer
206views Hardware» more  ATVA 2006»
15 years 8 months ago
Compositional Reasoning for Hardware/Software Co-verification
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
Fei Xie, Guowu Yang, Xiaoyu Song
HOTDEP
2008
107views Hardware» more  HOTDEP 2008»
15 years 7 months ago
Reverse-Engineering Drivers for Safety and Portability
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
Vitaly Chipounov, George Candea