87 search results - page 7 / 18 » Dependability assessment of software-based systems: state of... |
UM
2005
Springer
14 years 1 months ago
2005
Springer
The accuracy of a user model usually depends on the amount and quality of information available on the user’s states of interest. An eye-tracker provides data detailing where a u...
STTT
2010
13 years 2 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
A particular application of audio data hiding systems and watermarking systems consists of using the audio signal as a transmission channel for binary information. The system shou...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
The Cranfield evaluation method has some disadvantages, including its high cost in labor and inadequacy for evaluating interactive retrieval techniques. As a very promising alter...
ECBS
1999
IEEE
14 years 2 days ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...