Sciweavers

3741 search results - page 375 / 749
» Monitoring Database Objects
Sort
View
CIDR
2009
157views Algorithms» more  CIDR 2009»
15 years 7 months ago
Capturing Data Uncertainty in High-Volume Stream Processing
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...
Yanlei Diao, Boduo Li, Anna Liu, Liping Peng, Char...
JHSN
2006
267views more  JHSN 2006»
15 years 6 months ago
Client-side access control enforcement using trusted computing and PEI models
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...
Ravi S. Sandhu, Xinwen Zhang, Kumar Ranganathan, M...
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 6 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
CCE
2004
15 years 6 months ago
An online application of dynamic PLS to a dearomatization process
Early detection of process disturbances and prediction of malfunctions in process equipment improve the safety of the process, minimize the time and resources needed for maintenan...
Tiina Komulainen, Mauri Sourander, Sirkka-Liisa J&...
AAI
1999
147views more  AAI 1999»
15 years 6 months ago
Animated Agents for Procedural Training in Virtual Reality: Perception, Cognition, and Motor Control
This paper describes Steve, an animated agent that helps students learn to perform physical, procedural tasks. The student and Steve cohabit a three-dimensional, simulated mock-up...
Jeff Rickel, W. Lewis Johnson