652 search results - page 77 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
115
click to vote
JTRES
2010
ACM
14 years 10 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
112
click to vote
CVPR
2000
IEEE
15 years 12 months ago
2000
IEEE
Towards the goal of realizing a generic automatichuman activity recognition system, a new formalism is proposed. Activities are described by a chained hierarchical representation ...
JDCTA
2010
14 years 4 months ago
2010
Platform-based development is currently the dominant development method of enterprise application, but the features provided by current mainstream enterprise application developme...
ECCV
2006
Springer
15 years 12 months ago
2006
Springer
Abstract. This paper presents a novel approach to unsupervised texture segmentation that relies on a very general nonparametric statistical model of image neighborhoods. The method...
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...