5606 search results - page 770 / 1122 » Randomization Techniques for Graphs. |
160
click to vote
FATES
2004
Springer
16 years 5 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
177
click to vote
INDOCRYPT
2004
Springer
16 years 4 days ago
2004
Springer
Random data perturbation (RDP) has been in use for several years in statistical databases and public surveys as a means of providing privacy to individuals while collecting informa...
179
click to vote
ISOLA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
173
click to vote
SAT
2004
Springer
16 years 4 days ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
176
click to vote
HOTOS
2003
IEEE
16 years 2 days ago
2003
IEEE
Data replication is a widely used technique for achieving fault tolerance and improved performance. With the advent of content delivery networks, it is becoming more and more freq...