Sciweavers

4140 search results - page 342 / 828
» A Use Case Based Approach to Feature Models' Construction
Sort
View
DSRT
2008
IEEE
16 years 1 months ago
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
CVPR
2006
IEEE
16 years 8 months ago
Multiple Object Class Detection with a Generative Model
In this paper we propose an approach capable of simultaneous recognition and localization of multiple object classes using a generative model. A novel hierarchical representation ...
Krystian Mikolajczyk, Bastian Leibe, Bernt Schiele
GLOBECOM
2010
IEEE
15 years 4 months ago
Assessing the Impact of Geographically Correlated Failures on Overlay-Based Data Dissemination
Abstract--This paper addresses reliability of data dissemination applications when there are severe disruptions to the underlying physical infrastructure. Such massive simultaneous...
Kyungbaek Kim, Nalini Venkatasubramanian
AIPR
2002
IEEE
15 years 11 months ago
ICA Mixture Model based Unsupervised Classification of Hyperspectral Imagery
Conventional remote sensing classification techniques that model the data in each class with a multivariate Gaussian distribution are inefficient, as this assumption is generally ...
Chintan A. Shah, Manoj K. Arora, Stefan A. Robila,...
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...