1513 search results - page 193 / 303 » Fibonacci Correction Networks |
180
click to vote
RSP
2007
IEEE
16 years 12 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
141
click to vote
ISNN
2007
Springer
16 years 8 days ago
2007
Springer
Modeling for the ball mill grinding process is still an imperative but difficult problem for the optimal control of mineral processing industry. Due to the integrated complexities ...
178
click to vote
WEA
2007
Springer
16 years 7 days ago
2007
Springer
Many speed-up techniques for route planning in static graphs exist, only few of them are proven to work in a dynamic scenario. Most of them use preprocessed information, which has ...
151
click to vote
WWIC
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. The explosive growth of VoIP tra c poses a potential challenge to the stability of the Internet that, up to now, has been guaranteed by the TCP congestion control. In thi...
162
click to vote
CNSR
2006
IEEE
16 years 6 days ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...