8600 search results - page 190 / 1720 » Measuring with Timed Patterns |
107
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
118
Voted
ICA3PP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Measurement and modelling of distributions of data communication times is commonly done for telecommunication networks, but this has not previously been done for message ...
116
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Routing games are used to to understand the impact of individual users’ decisions on network efficiency. Most prior work on routing games uses a simplified model of network fl...
149
click to vote
ICDCS
2005
IEEE
15 years 8 months ago
2005
IEEE
We propose and evaluate a model for controlling infection patterns defined over rounds or real time in a gossipbased protocol using adaptive fanout. We model three versions of go...
128
click to vote
HT
2009
ACM
15 years 7 months ago
2009
ACM
This paper develops a probabilistic framework that can model and predict group activity over time on online social media. Users of social media sites such as Flickr often face the...