13591 search results - page 2316 / 2719 » On the Implementation of Dynamic Evaluation |
211
click to vote
SPIN
2010
Springer
15 years 6 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
246
click to vote
SSS
2010
Springer
15 years 6 months ago
2010
Springer
High availability is a critical feature for service clusters and cloud computing, and is often considered more valuable than performance. One commonly used technique to enhance the...
215
click to vote
TDSC
2010
15 years 6 months ago
2010
—This paper presents the first hierarchical Byzantine fault-tolerant replication architecture suitable to systems that span multiple wide area sites. The architecture confines ...
202
click to vote
TIFS
2010
15 years 6 months ago
2010
This paper presents a novel method for detection of steganographic methods that embed in the spatial domain by adding a low-amplitude independent stego signal, an example of which...
195
click to vote
TIFS
2010
15 years 6 months ago
2010
—This paper addresses a forensic tool used to assess audio authenticity. The proposed method is based on detecting phase discontinuity of the power grid signal; this signal, refe...