2661 search results - page 392 / 533 » Model Checking Performability Properties |
101
click to vote
IWCMC
2010
ACM
15 years 2 months ago
2010
ACM
We propose a novel methodology to generate realistic network flow traces to enable systematic evaluation of network monitoring systems in various traffic conditions. Our technique...
134
Voted
SIGCOMM
2012
ACM
13 years 3 months ago
2012
ACM
Contact interval between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs), which is important to routing schemes and network capacity. In this work,...
85
Voted
ICCTA
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, one of the most important parameters in performance evaluation and protocol design of wireless networks, Link Excess Life (LEL), is investigated. An analytical mode...
97
Voted
AAAI
2006
15 years 2 months ago
2006
Planning in partially-observable dynamical systems is a challenging problem, and recent developments in point-based techniques such as Perseus significantly improve performance as...
106
Voted
WSC
1997
15 years 2 months ago
1997
This paper presents a discussion of simulation-related issues arising in the study of self-similar network traffic with respect to its effect and control. Selfsimilar traffic has...