Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ICALP
2009
Springer
11 years 4 months ago
Rate-Based Transition Systems for Stochastic Process Calculi
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
Rocco De Nicola, Diego Latella, Michele Loreti, Mi...
ICALP
2009
Springer
11 years 4 months ago
Reachability in Stochastic Timed Games
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
Patricia Bouyer, Vojtech Forejt
ICALP
2009
Springer
11 years 4 months ago
Multi-armed Bandits with Metric Switching Costs
Sudipto Guha, Kamesh Munagala
ICALP
2009
Springer
11 years 4 months ago
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
Naoki Kobayashi, C.-H. Luke Ong
ICALP
2009
Springer
11 years 4 months ago
MANETS: High Mobility Can Make Up for Low Transmission Power
Andrea E. F. Clementi, Francesco Pasquale, Riccard...
ICALP
2009
Springer
11 years 4 months ago
Algorithms for Secretary Problems on Graphs and Hypergraphs
We examine several online matching problems, with applications to Internet advertising reservation systems. Consider an edge-weighted bipartite graph G, with partite sets L, R. We...
Martin Pál, Nitish Korula
ICALP
2009
Springer
11 years 4 months ago
Graph Sparsification in the Semi-streaming Model
Kook Jin Ahn, Sudipto Guha
ICALP
2009
Springer
11 years 4 months ago
The Theory of Stabilisation Monoids and Regular Cost Functions
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
Thomas Colcombet
ICALP
2009
Springer
11 years 4 months ago
An Explicit Formula for the Free Exponential Modality of Linear Logic
Christine Tasson, Nicolas Tabareau, Paul-Andr&eacu...
ICALP
2009
Springer
11 years 4 months ago
Proportional Response Dynamics in the Fisher Market
Abstract. In this paper, we show that the proportional response dynamics, a utility based distributed dynamics, converges to the market equilibrium in the Fisher market with consta...
Li Zhang
books