Sciweavers

1791 search results - page 134 / 359
» Behavioral Operations
Sort
View
HF
2002
95views more  HF 2002»
15 years 4 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
154
Voted
GVD
2009
191views Database» more  GVD 2009»
15 years 2 months ago
Query Processing on Multi-Core Architectures
The upcoming generation of computer hardware poses several new challenges for database developers and engineers. Software in general and database management systems (DBMSs) in par...
Frank Huber, Johann Christoph Freytag
JAISE
2011
238views more  JAISE 2011»
14 years 11 months ago
A bio-inspired system model for interactive surveillance applications
Advances in computer vision and pattern recognition research are leading to video surveillance systems with improved scene analysis capabilities. However, up to now few works have ...
Alessio Dore, Matteo Pinasco, Lorenzo Ciardelli, C...
FAST
2011
14 years 8 months ago
Reliably Erasing Data from Flash-Based Solid State Drives
Reliably erasing data from storage media (sanitizing the media) is a critical component of secure data management. While sanitizing entire disks and individual files is well-unde...
Michael Yung Chung Wei, Laura M. Grupp, Frederick ...
CEC
2011
IEEE
14 years 4 months ago
Multi-level indexing in a distributed self-organized storage system
—In many systems providing storage and retrieval operations on data, indices are used to make these operations more efficient. Distributed storage systems provide means to distr...
Hannes Mühleisen, Tilman Walther, Robert Tolk...