Sciweavers

29143 search results - page 143 / 5829
» A Sortation System Model
Sort
View
AICOM
1999
116views more  AICOM 1999»
15 years 2 months ago
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...
Fulvio Cascio, Luca Console, Marcella Guagliumi Ma...
ECCV
2004
Springer
16 years 4 months ago
Multiple Classifier System Approach to Model Pruning in Object Recognition
We propose a multiple classifier system approach to object recognition in computer vision. The aim of the approach is to use multiple experts successively to prune the list of cand...
Josef Kittler, Alireza Ahmadyfard
CADE
2008
Springer
16 years 2 months ago
Model Stack for the Pervasive Verification of a Microkernel-based Operating System
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
Jan Dörrenbächer, Matthias Daum, Sebasti...
EPEW
2009
Springer
15 years 9 months ago
Modelling Zoned RAID Systems Using Fork-Join Queueing Simulation
Abstract. RAID systems are ubiquitously deployed in storage environments, both as standalone storage solutions and as fundamental components of virtualised storage platforms. Accur...
Abigail S. Lebrecht, Nicholas J. Dingle, William J...
130
Voted
COMPSAC
2008
IEEE
15 years 9 months ago
Error Modeling in Dependable Component-Based Systems
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobr...