1513 search results - page 104 / 303 » Fibonacci Correction Networks |
166
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
We propose an algorithm for efficient threshold network synthesis of arbitrary multi-output Boolean functions. The main purpose of this work is to bridge the wide gap that currentl...
174
Voted
ICTAI
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
175
click to vote
DCOSS
2010
Springer
15 years 8 months ago
2010
Springer
A number of protocols have been proposed to date to defend against wormhole attacks in wireless networks by adopting synchronized clocks, positioning devices, or directional antenn...
175
click to vote
FMOODS
2007
15 years 6 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
161
click to vote
GISCIENCE
2008
Springer
15 years 6 months ago
2008
Springer
Dynamic geographic phenomena, such as forest fires and oil spills, can have dire environmental, sociopolitical, and economic consequences. Mitigating, if not preventing such events...