2947 search results - page 312 / 590 » The timely token protocol |
215
click to vote
LICS
1993
IEEE
15 years 10 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
185
click to vote
ESORICS
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
193
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting pr...
172
click to vote
DSN
2004
IEEE
2004
IEEE
Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks
15 years 10 months ago
Abstract-- Wireless sensor networks (WSNs) are large collections of resource limited nodes, densely deployed over a landscape. They gather and disseminate local data using multihop...
173
click to vote
CIT
2006
Springer
15 years 10 months ago
2006
Springer
Running real time applications over wireless LANs is becoming common place. These applications require QoS. But the most widely used wireless LAN, IEEE 802.11, does not have QoS s...