2162 search results - page 123 / 433 » A Meta-Notation for Protocol Analysis |
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
ICC
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper, we model the hierarchical structures inherent in cognitive radio networks as the priority queueing system in which primary users interact with the highest priority a...
RIDE
1992
IEEE
14 years 1 months ago
1992
IEEE
We present a replication control protocol that provides excellent data availabilities while guaranteeing that all writes to the object are recorded in at least two replicas. The p...
BROADNETS
2007
IEEE
14 years 28 days ago
2007
IEEE
Multimedia applications have unique characteristics that can be leveraged to design energy-efficient loss recovery mechanisms. Given their loss tolerance and strict timing requirem...
ATAL
2006
Springer
14 years 20 days ago
2006
Springer
Encouraging voters to truthfully reveal their preferences in an election has long been an important issue. Previous studies have shown that some voting protocols are hard to manip...