Sciweavers

1105 search results - page 169 / 221
» Timed Automata Model for Component-Based Real-Time Systems
Sort
View
149
Voted
SAFECOMP
2010
Springer
15 years 1 months ago
Deriving Safety Cases for Hierarchical Structure in Model-Based Development
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
Nurlida Basir, Ewen Denney, Bernd Fischer 0002
138
Voted
PADS
1999
ACM
15 years 7 months ago
Shock Resistant Time Warp
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
Alois Ferscha, James Johnson
160
Voted
SDM
2012
SIAM
340views Data Mining» more  SDM 2012»
13 years 5 months ago
IntruMine: Mining Intruders in Untrustworthy Data of Cyber-physical Systems
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
Lu An Tang, Quanquan Gu, Xiao Yu, Jiawei Han, Thom...
107
Voted
TOG
2002
130views more  TOG 2002»
15 years 3 months ago
Real-time 3D model acquisition
The digitization of the 3D shape of real objects is a rapidly expanding field, with applications in entertainment, design, and archaeology. We propose a new 3D model acquisition s...
Szymon Rusinkiewicz, Olaf A. Hall-Holt, Marc Levoy
ISDA
2010
IEEE
15 years 21 days ago
Self-adaptive Gaussian mixture models for real-time video segmentation and background subtraction
The usage of Gaussian mixture models for video segmentation has been widely adopted. However, the main difficulty arises in choosing the best model complexity. High complex models ...
Nicola Greggio, Alexandre Bernardino, Cecilia Lasc...