Sciweavers

WAW
2010
Springer
312views Algorithms» more  WAW 2010»
13 years 6 months ago
The Geometric Protean Model for On-Line Social Networks
We introduce a new geometric, rank-based model for the link structure of on-line social networks (OSNs). In the geo-protean (GEO-P) model for OSNs nodes are identified with points ...
Anthony Bonato, Jeannette Janssen, Pawel Pralat
WAW
2010
Springer
231views Algorithms» more  WAW 2010»
13 years 6 months ago
Modeling Traffic on the Web Graph
Abstract. Analysis of aggregate and individual Web requests shows that PageRank is a poor predictor of traffic. We use empirical data to characterize properties of Web traffic not ...
Mark R. Meiss, Bruno Gonçalves, Jose J. Ram...
WAW
2010
Springer
311views Algorithms» more  WAW 2010»
13 years 6 months ago
Game-Theoretic Models of Information Overload in Social Networks
We study the effect of information overload on user engagement in an asymmetric social network like Twitter. We introduce simple game-theoretic models that capture rate competition...
Christian Borgs, Jennifer T. Chayes, Brian Karrer,...
WAOA
2010
Springer
264views Algorithms» more  WAOA 2010»
13 years 6 months ago
An FPTAS for Flows over Time with Aggregate Arc Capacities
We study flows over time in networks with transit times on the arcs. Transit times describe how long it takes to traverse an arc. A flow over time specifies for each arc a time-dep...
Daniel Dressler, Martin Skutella
VAMOS
2010
Springer
13 years 6 months ago
The Variability Model of The Linux Kernel
Lack of realistic benchmarks hinders efficient design and evaluation of analysis techniques for feature models. We extract a variability model from the code base of the Linux kerne...
Steven She, Rafael Lotufo, Thorsten Berger, Andrze...
TCC
2010
Springer
133views Cryptology» more  TCC 2010»
13 years 6 months ago
On the Necessary and Sufficient Assumptions for UC Computation
Abstract. We study the necessary and sufficient assumptions for universally composable (UC) computation, both in terms of setup and computational assumptions. We look at the common...
Ivan Damgård, Jesper Buus Nielsen, Claudio O...
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
13 years 6 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
SPIN
2010
Springer
13 years 6 months ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
SOCIALCOM
2010
13 years 6 months ago
Traffic in Social Media II: Modeling Bursty Popularity
Online popularity has enormous impact on opinions, culture, policy, and profits, especially with the advent of the social Web and Web advertising. Yet the processes that drive popu...
Jacob Ratkiewicz, Filippo Menczer, Santo Fortunato...
SIGDIAL
2010
13 years 6 months ago
Comparing Local and Sequential Models for Statistical Incremental Natural Language Understanding
Incremental natural language understanding is the task of assigning semantic representations to successively larger prefixes of utterances. We compare two types of statistical mod...
Silvan Heintze, Timo Baumann, David Schlangen