5658 search results - page 837 / 1132 » An Efficient Counting Network |
145
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
IETF's NETCONF WG has taken efforts in standardizing configuration management protocol, which allows high interoperability of configuration management. In addition to interope...
161
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a multicast algorithm for peer-topeer dissemination of events in a distributed topic-based publish-subscribe system, where processes publish events of certain ...
169
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
181
click to vote
ALGOSENSORS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we re-examine the RSSI measurement model for location estimation and provide the first detailed formulation of the probability distribution of the position of a sens...
176
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...