4693 search results - page 806 / 939 » Verifying Hybrid Systems |
83
Voted
STORAGESS
2006
ACM
15 years 6 months ago
2006
ACM
We propose a framework for examining trust in the storage stack based on different levels of trustworthiness present across different channels of information flow. We focus on ...
99
Voted
CGO
2005
IEEE
15 years 6 months ago
2005
IEEE
In this work, we develop a secret sharing based compiler solution to achieve confidentiality, integrity and availability (intrusion tolerance) of critical data together, rather th...
ICAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Content Distribution Overlays improves end-user performance by replicating Web contents on a group of geographically distributed sites interconnected over the Internet. However, w...
ICAS
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper presents a novel approach for efficient tree construction in ALM (Application Layer Multicast) using layered video coding. This system is suitable for the users in h...
108
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we present multimedia adaptation strategies for live video streams, at the streaming server, where we switch among several versions of the coded multimedia to match ...