Sciweavers

7835 search results - page 1188 / 1567
» Software are Processes Too
Sort
View
CSFW
2000
IEEE
15 years 11 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek
ICRA
2000
IEEE
101views Robotics» more  ICRA 2000»
15 years 11 months ago
Towards Programming Tools for Robots that Integrate Probabilistic Computation and Learning
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
Sebastian Thrun
VVS
2000
IEEE
176views Visualization» more  VVS 2000»
15 years 11 months ago
4D volume rendering with the Shear Warp factorisation
A novel approach for rendering time-varying data based on the Shear-Warp factorisation is presented. Reduction in storage space is achieved by detecting the changed areas within e...
Kostas Anagnostou, Tim J. Atherton, Andrew E. Wate...
CSCW
2000
ACM
15 years 11 months ago
Designing to support adversarial collaboration
We investigate the phenomenon of adversarial collaboration, through field studies of a legal firm. Adversarial collaboration requires that people with opposing goals come to agree...
Andrew L. Cohen, Debra Cash, Michael J. Muller
MM
2000
ACM
94views Multimedia» more  MM 2000»
15 years 11 months ago
A digital television navigator
Digital television is a new, interesting, and rich platform for developing next generation multimedia services. Navigator is the most important Multimedia service of digital telev...
Chengyuan Peng, Petri Vuorimaa
« Prev « First page 1188 / 1567 Last » Next »