Sciweavers

2171 search results - page 95 / 435
» Cooperative Validation in Distributed Control Systems Design
Sort
View
CSCW
2006
ACM
15 years 5 months ago
An exploratory analysis of partner action and camera control in a video-mediated collaborative task
This paper reports on an exploratory experimental study of the relationships between physical movement and desired visual information in the performance of video-mediated collabor...
Abhishek Ranjan, Jeremy P. Birnholtz, Ravin Balakr...
SIGMOD
2008
ACM
109views Database» more  SIGMOD 2008»
16 years 1 months ago
Cooperative XPath caching
Motivated by the fact that XML is increasingly being used in distributed applications, we propose building a cooperative caching scheme for XML documents. Our scheme allows sharin...
Kostas Lillis, Evaggelia Pitoura
FTCS
1998
79views more  FTCS 1998»
15 years 3 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
IROS
2006
IEEE
177views Robotics» more  IROS 2006»
15 years 7 months ago
Adaptive Control of Heterogeneous Marine Sensor Platforms in an Autonomous Sensor Network
Abstract— This paper describes an investigation into the control of autonomous mobile sensor platforms in a marine sensor network used to provide monitoring of transitory phenome...
Donald P. Eickstedt, Michael R. Benjamin, Henrik S...
ATAL
2006
Springer
15 years 5 months ago
ACTIVE: agile coordinator testbed integrated virtual environment
This paper describes the specification, design and development of ACTIVE, a testbed for the testing and simulation of large-scale agent-based systems. ACTIVE is being developed as...
G. Emami, J. Cheng, D. Cornwell, M. Feldhousen, C....