Sciweavers

2838 search results - page 361 / 568
» Verifying Controlled Components
Sort
View
WIDM
2004
ACM
15 years 8 months ago
A version model for supporting adaptation of web pages
Maintenance of large Web sites is a complex task, similar in some sense to software maintenance. Content should be separated from the formatting rules, allowing independent develo...
Rodrigo Giacomini Moro, Renata de Matos Galante, C...
IWQOS
2004
Springer
15 years 7 months ago
Triage: performance isolation and differentiation for storage systems
Abstract— Ensuring performance isolation and differentiation among workloads that share a storage infrastructure is a basic requirement in consolidated data centers. Existing man...
Magnus Karlsson, Christos T. Karamanolis, Xiaoyun ...
MM
2003
ACM
126views Multimedia» more  MM 2003»
15 years 7 months ago
DOVE: drawing over video environment
We demonstrate a multimedia system that integrates pen-based gesture and live video to support collaboration on physical tasks. The system combines network IP cameras, desktop PCs...
Jiazhi Ou, Xilin Chen, Susan R. Fussell, Jie Yang
IPPS
2002
IEEE
15 years 7 months ago
Java Mirrors: Building Blocks for Remote Interaction
Java mirror objects are building blocks for integrating web-based with high performance applications. This paper demonstrates the utility of mirror objects for construction of rem...
Yuan Chen, Karsten Schwan, David W. Rosen
CAV
2007
Springer
111views Hardware» more  CAV 2007»
15 years 6 months ago
Verification Across Intellectual Property Boundaries
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
Sagar Chaki, Christian Schallhart, Helmut Veith