290 search results - page 19 / 58 » The Intersection Probability and Its Properties |
122
Voted
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
Social networks are an interesting class of graphs likely to become of increasing importance in the future, not only theoretically, but also for its probable applications to ad hoc...
118
Voted
SIGCOMM
2006
ACM
15 years 6 months ago
2006
ACM
Researchers have proposed a variety of metrics to measure important graph properties, for instance, in social, biological, and computer networks. Values for a particular graph met...
108
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
103
Voted
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
Embedded systems for closed-loop applications often behave as discrete-time semi-Markov processes (DTSMPs). Performability measures most meaningful to iterative embedded systems, ...
113
click to vote
CORR
2007
Springer
15 years 23 days ago
2007
Springer
—In the analysis of large random wireless networks, the underlying node distribution is almost ubiquitously assumed to be the homogeneous Poisson point process. In this paper, th...