276 search results - page 28 / 56 » Proving Properties of Dynamic Process Networks |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
We consider the use of Bayesian topic models in the analysis of computer network traffic. Our approach utilizes latent Dirichlet allocation and time-varying dynamic latent Dirich...
74
Voted
PEWASUN
2008
ACM
14 years 11 months ago
2008
ACM
Researches around wireless sensor network (WSN) were very prolific recently. However, traffic modeling related WSN research was poorly less. In this paper, source traffic dynamics...
74
Voted
FAC
2008
14 years 9 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
74
Voted
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
Peer-to-peer (P2P) networks based on consistent hashing functions have an inherent load uneven distribution problem. Things are even worse in unstructured P2P systems. The objecti...
CN
2006
14 years 9 months ago
2006
Measurement studies indicate a high rate of node dynamics in p2p systems. In this paper, we address the question of how high a rate of node dynamics can be supported by structured...