Sciweavers

4971 search results - page 391 / 995
» Observation systems
Sort
View
KI
2009
Springer
16 years 1 months ago
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production
Today’s complex production systems allow to simultaneously build different products following individual production plans. Such plans may fail due to component faults or unfores...
Paul Maier, Martin Sachenbacher, Thomas Rühr,...
ACSAC
2005
IEEE
16 years 14 days ago
Evolving Successful Stack Overflow Attacks for Vulnerability Testing
The work presented in this paper is intended to test crucial system services against stack overflow vulnerabilities. The focus of the test is the user-accessible variables, that i...
Hilmi Günes Kayacik, A. Nur Zincir-Heywood, M...
EPIA
2005
Springer
16 years 11 days ago
Robust Real-Time Human Activity Recognition from Tracked Face Displacements
We are interested in the challenging scientific pursuit of how to characterize human activities in any formal meeting situation by tracking people’s positions with a computer vi...
Paul E. Rybski, Manuela M. Veloso
CHI
1993
ACM
15 years 11 months ago
One is not enough: multiple views in a media space
Media spaces support collaboration, but the limited access they provide to remote colleagues' activities can undermine their utility. To address this limitation, we built an ...
William W. Gaver, Abigail Sellen, Christian Heath,...
FM
2006
Springer
121views Formal Methods» more  FM 2006»
15 years 10 months ago
Properties of Behavioural Model Merging
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
Greg Brunet, Marsha Chechik, Sebastián Uchi...