Sciweavers

2171 search results - page 137 / 435
» Cooperative Validation in Distributed Control Systems Design
Sort
View
WWW
2009
ACM
16 years 2 months ago
A method of analyzing credibility based on LOD control of digital maps
Digital maps are widely used and appear on all types of platforms for integrating content. Users can change display region and scale by panning, zooming in, and zooming out on a d...
Daisuke Kitayama, Ryong Lee, Kazutoshi Sumiya
SAC
2008
ACM
15 years 1 months ago
Workflow management versus case handling: results from a controlled software experiment
Business Process Management (BPM) technology has become an important instrument for improving process performance. When considering its use, however, enterprises typically have to...
Bela Mutschler, Barbara Weber, Manfred Reichert
ESORICS
2009
Springer
16 years 2 months ago
Towards a Theory of Accountability and Audit
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, Jam...
116
Voted
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
129
Voted
WORDS
2002
IEEE
15 years 6 months ago
An Adaptive Distributed System Based on Conditional Dependencies
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
Luci Pirmez, Luiz F. Rust da Costa Carmo, Reinaldo...