2002 search results - page 138 / 401 » An Approach for Assessment of Reliability of the System Usin... |
ICST
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
LICS
2002
IEEE
14 years 2 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
ICDCSW
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Online feedback-based rating systems are gaining popularity. Dealing with unfair ratings in such systems has been recognized as an important problem and many unfair rat...
ECOOP
2008
Springer
13 years 11 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
ICASSP
2011
IEEE
13 years 26 days ago
2011
IEEE
Localization and classification of acoustic signals in a complex auditory scene is an every day task of the human auditory system. However, this problem presents a significant c...