2661 search results - page 392 / 533 » Model Checking Performability Properties |
IWCMC
2010
ACM
14 years 7 days 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...
SIGCOMM
2012
ACM
12 years 22 days 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,...
ICCTA
2007
IEEE
14 years 4 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...
AAAI
2006
13 years 11 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...
WSC
1997
13 years 11 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...