Sciweavers

2354 search results - page 198 / 471
» DRM as a layered system
Sort
View
OSDI
2006
ACM
14 years 8 months ago
Type-Safe Disks
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...
Gopalan Sivathanu, Swaminathan Sundararaman, Erez ...
CASES
2001
ACM
13 years 11 months ago
A vision for embedded software
In this paper we describe a vision for the future evolution of Embedded SW (ESW) design methodologies as part of overall Embedded Systems (ES) development. Fundamentally, we belie...
Alberto L. Sangiovanni-Vincentelli, Grant Martin
AIA
2007
13 years 9 months ago
Plan-based assistance in the webbrowser firefox
We present a developed function library named pbifSystem which will allow for remote control of the webbrowser Firefox. Instead of controlling the browser through general pc input...
T. A. Bertz, Peter Reiss
INFOCOM
2006
IEEE
14 years 2 months ago
MobiStream: Error-Resilient Video Streaming in Wireless WANs Using Virtual Channels
—We present MobiStream— a video streaming system that exploits the perceptual value in video content and the characteristics of the link layer and physical layer channels to en...
Rajiv Chakravorty, Suman Banerjee, Samrat Ganguly
CHARME
2005
Springer
122views Hardware» more  CHARME 2005»
14 years 1 months ago
Regular Vacuity
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
Doron Bustan, Alon Flaisher, Orna Grumberg, Orna K...