8056 search results - page 415 / 1612 » Object Behavior Analysis |
148
click to vote
INFOCOM
1993
IEEE
15 years 11 months ago
1993
IEEE
The steady state behavior of regular two-connected multihop networks in homogeneous load under hot-potato and single-buffer deflection routing is analyzed for ultrafast optical ap...
179
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
162
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Information propagation within the blogosphere is of much importance in implementing policies, marketing research, launching new products, and other applications. In this paper, w...
172
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
180
click to vote
EATIS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract-- The growth of wireless network use has greatly increased research demand. Some applications, which are contextaware, must adapt to the environment. So, information on bo...